Author of the publication

ASSPEGIQUE: An Integrated Specification Environment.

, , and . RTA, volume 355 of Lecture Notes in Computer Science, page 547. Springer, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)., and . SAC, page 2451-2458. ACM, (2010)ASSPEGIQUE: An Integrated Specification Environment., , and . RTA, volume 355 of Lecture Notes in Computer Science, page 547. Springer, (1989)A Modelling Approach with Coloured Petri Nets., , and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 73-86. Springer, (2008)Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation., and . WADT, volume 7137 of Lecture Notes in Computer Science, page 76-97. Springer, (2010)A Global Semantics for Views., , and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 165-180. Springer, (2000)Coloured Petri net refinement specification and correctness proof with Coq., , and . Innov. Syst. Softw. Eng., 6 (3): 195-202 (2010)PETRIREVE: Proving Petri Net Properties with Rewriting Systems., and . RTA, volume 202 of Lecture Notes in Computer Science, page 271-286. Springer, (1985)Modelling chronicle recognition for distributed simulation processing with coloured Petri nets., , and . SimuTools, page 42. ICST/ACM, (2009)The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification., , , , , and . Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 145-164. Springer, (2010)Coloured Petri Nets for Chronicle Recognition., , and . Ada-Europe, volume 5570 of Lecture Notes in Computer Science, page 266-281. Springer, (2009)