For the most recent entries see the
Petri Nets Newsletter.
Keyword: behavioural specification
-
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.
-
Antoniazzi, S.;
Mastretti, M.:
An Interactive Environment for Hardware/Software System Design at the Specification Level.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography