( en | de | ru )

 

Disambiguierung von "Jard, Claude"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Detection of Stable Properties in Distributed Applications.

, , , und . PODC, Seite 125-136. ACM, (1987)

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.

Matthias Jardorf

José Vicente Jardim Camargo

Dániel Járdánházi-Kurutz

Pierre Jardin

Jean Jardiné

 

Weitere Publikationen von Autoren mit dem selben Namen

TGV: theory, principles and algorithms, und . Integrated Design & and Process Technology, IDPT 1, Society for Process & Design Sciences, (2002)Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets., und . FORMATS, Volume 3829 von Lecture Notes in Computer Science, Seite 196-210. Springer, (2005)Partial order diagnosability of discrete event systems using petri net unfoldings., , , und . CDC, Seite 3748-3753. IEEE, (2003)3D Layout of Reachability Graphs of Communicating Processes., und . GD, Volume 894 von Lecture Notes in Computer Science, Seite 25-32. Springer, (1994)Monitoring probabilistic SLAs in Web service orchestrations., , und . Integrated Network Management, Seite 474-481. IEEE, (2009)Protocol engineering using UML, , , , und . (1999)System Test Synthesis from UML Models of Distributed Software., , , , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 97-113. Springer, (2002)Principles of Distributed Test Synthesis based on True-concurrency Models.. TestCom, Volume 210 von IFIP Conference Proceedings, Seite 301-316. Kluwer, (2002)Test synthesis from UML models of distributed software, , , , und . Software Engineering, IEEE Transactions on, 33 (4): 252--269 (2007)Back in Time Petri Nets., und . FORMATS, Volume 8053 von Lecture Notes in Computer Science, Seite 91-105. Springer, (2013)