For the most recent entries see the
Petri Nets Newsletter.
Keyword: CORBA
-
Singh, A.;
Billington, J.:
A Formal Service Specification for IIOP based on ISO/IEC 14752.
2002.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe:
A formal notation and tool for the engineering of CORBA systems.
2000.
-
Ramani, S.;
Trivedi, K.S.;
Dasarathy, B.:
Performance analysis of the CORBA event service using stochastic reward nets.
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.
-
Bastide, Rémi;
Palanque, Philippe;
Sy, Ousmane;
Le, Duc-Hoa;
Navarre, David:
Petri Net Based Behavioural Specification of CORBA Systems.
1999.
-
Han, Y.;
Himmighöfer, J.;
Schaaf, T.;
Wikarski, D.:
Management of Workflow Resources to Support Runtime Adaptability and System Evolution.
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography