Autor der Publikation

Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs.

, und . WADT, Volume 2755 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Coloured Petri net refinement specification and correctness proof with Coq., , und . ISSE, 6 (3): 195-202 (2010)Using CASL to Specify the Requirements and the Design: A Problem Specific Approach., und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 106-125. Springer, (1999)The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification., , , , , und . Petri Nets, Volume 6128 von Lecture Notes in Computer Science, Seite 145-164. Springer, (2010)Behaviour Recognition Using Chronicles., , und . TASE, Seite 100-107. IEEE Computer Society, (2011)Formalising Concurrent UML State Machines Using Coloured Petri Nets., , und . KSE, Volume 326 von Advances in Intelligent Systems and Computing, Seite 473-486. Springer, (2014)Behavioural Analysis for Distributed Simulations., , , und . APSEC, Seite 482-487. IEEE, (2012)Specialisation and Generalisation of Processes., , und . Enterprise Modelling and Information Systems Architectures, 13 (Special): 35-46 (2018)Modelling chronicle recognition for distributed simulation processing with coloured Petri nets., , und . SimuTools, Seite 42. ICST/ACM, (2009)PETRIREVE: Proving Petri Net Properties with Rewriting Systems., und . RTA, Volume 202 von Lecture Notes in Computer Science, Seite 271-286. Springer, (1985)Coloured Petri Nets for Chronicle Recognition., , und . Ada-Europe, Volume 5570 von Lecture Notes in Computer Science, Seite 266-281. Springer, (2009)