For the most recent entries see the
Petri Nets Newsletter.
Navarre, D.
-
Bastide, Rémi;
Navarre, David;
Palanque, Philippe;
Schyn, Amélie;
Dragicevic, Pierre:
A model-based approach for real-time embedded multimodal systems in military aircrafts.
2004.
-
Bastide, Rémi;
Navarre, David;
Palanque, Philippe:
A tool-supported design framework for safety critical interactive systems.
2003.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe;
Navarre, David:
Formal specification of CORBA services: experience and lessons learned.
2000.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe;
Navarre, David:
A Formal Specification of the CORBA Event Service.
2000.
-
Bastide, Rémi;
Palanque, Philippe;
Sy, Ousmane;
Le, Duc-Hoa;
Navarre, David:
Petri Net Based Behavioural Specification of CORBA Systems.
1999.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography