For the most recent entries see the
Petri Nets Newsletter.
Sy, O.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe:
A formal notation and tool for the engineering of CORBA systems.
2000.
-
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.
-
Sy, O.;
Buffo, M.;
Buchs, D.:
An Experimental Approach Towards the XML Representation of Petri Net Models.
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