For the most recent entries see the
Petri Nets Newsletter.
Keyword: ADA
-
Bruneton, E.;
Pradat-Peyre, J.-F.:
Automatic verification of concurrent Ada program.
1999.
-
Gonzales, A.;
Crespo, A.:
Environment for the development and specification of real-time Ada programs.
1999.
-
Tricas, F.;
Martinez, J.:
Distributed control systems simulation using high level Petri nets.
1998.
-
Baldassari, M.;
Bruno, G.:
An Environment for Operational Software Engineering in Ada.
1990.
-
Di Giovanni, Raffaele:
Petri Nets and Software Engineering: HOOD Nets.
1990.
-
Espinosa, A.;
Garcia-Fornes, A.;
Crespo, A.;
de la Puente, J.A.:
QUISAP: an Environment for Rapid Prototyping of Real-Time Systems.
1990.
-
Kordon, F.;
Estraillier, P.;
Card, R.:
Rapid ADA Prototyping: Principles and Example of a Complex Application.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography