PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vernadat, François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Property-Driven Approach to Formal Verification of Process Models.

, , , , und . ICEIS (Selected Papers), Volume 12 von Lecture Notes in Business Information Processing, Seite 286-300. Springer, (2007)

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.

Davi Francois University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Permutable Agents in Process Algebras., , und . TACAS, Volume 1055 von Lecture Notes in Computer Science, Seite 187-206. Springer, (1996)Bridging the Gap Between Timed Automata and Bounded Time Petri Nets., , und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 82-97. Springer, (2006)Towards the verification of real-time systems in avionics: the Cotre approach., , , , , , , , , und 3 andere Autor(en). Electron. Notes Theor. Comput. Sci., (2003)Layered -net Specification of a Workshop., , und . PDPTA, Seite 2808-2814. CSREA Press, (1999)Covering Step Graph Preserving Failure Semantics., und . ICATPN, Volume 1248 von Lecture Notes in Computer Science, Seite 253-270. Springer, (1997)Ladder Metamodeling and PLC Program Validation through Time Petri Nets., , , , , und . ECMDA-FA, Volume 5095 von Lecture Notes in Computer Science, Seite 121-136. Springer, (2008)Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study., , , , und . ICEIS (3), Seite 80-89. (2007)On the composition of time Petri nets., , und . Discrete Event Dynamic Systems, 21 (3): 395-424 (2011)Specification and verification of real-time systems using POLA., , und . IJCCBS, 2 (3/4): 332-351 (2011)Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework., , und . PSTV, Volume C-16 von IFIP Transactions, Seite 257-272. North-Holland, (1993)