PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jard, Claude"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On-The-Fly Analysis of Distributed Computations.

, , , und . Inf. Process. Lett., 54 (5): 267-274 (1995)

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.

Keine Personen gefunden für den Autorennamen Jard, Claude
Eine Person hinzufügen mit dem Namen Jard, Claude
 

Weitere Publikationen von Autoren mit dem selben Namen

QoS-aware management of monotonic service orchestrations., , , , und . Formal Methods in System Design, 44 (1): 1-43 (2014)Diagnosis of asynchronous discrete-event systems: a net unfolding approach., , , und . IEEE Trans. Automat. Contr., 48 (5): 714-727 (2003)Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly., , , und . ISoLA, Seite 309-316. IEEE, (2006)Monitoring probabilistic SLAs in Web service orchestrations., , und . Integrated Network Management, Seite 474-481. IEEE, (2009)Testing for Unboundedness of FIFO Channels., und . Theor. Comput. Sci., 113 (1): 93-117 (1993)Optimizing Decisions in Web Services Orchestrations., , und . ICSOC, Volume 7084 von Lecture Notes in Computer Science, Seite 77-91. Springer, (2011)Testing Input/Output Partial Order Automata., , und . TestCom/FATES, Volume 4581 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2007)Discrete Parameters in Petri Nets., , , und . Petri Nets, Volume 9115 von Lecture Notes in Computer Science, Seite 137-156. Springer, (2015)Symbolic Unfolding of Parametric Stopwatch Petri Nets., , , , und . ATVA, Volume 6252 von Lecture Notes in Computer Science, Seite 291-305. Springer, (2010)The Impact of Initial Delays in OSPF Routing., , und . ICETE (Selected Papers), Volume 456 von Communications in Computer and Information Science, Seite 37-57. Springer, (2013)