PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kordon, Fabrice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ASCENT: A Provably Terminating Decentralized Logging Service.

, , , und . Comput. J., 60 (12): 1889-1911 (2017)

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 Kordon, Fabrice
Eine Person hinzufügen mit dem Namen Kordon, Fabrice
 

Weitere Publikationen von Autoren mit dem selben Namen

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems., , , , , , , , , und 1 andere Autor(en). Softw., Pract. Exper., 42 (12): 1467-1494 (2012)Exploiting colored Petri nets to decide on permutation admissibility., , und . Acta Inf., 46 (1): 43-55 (2009)LfP : A Specification Language for Rapid Prototyping of Concurrent Systems., und . IEEE International Workshop on Rapid System Prototyping, Seite 90-96. IEEE Computer Society, (2001)Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets., , und . IEEE International Workshop on Rapid System Prototyping, Seite 26-33. IEEE Computer Society, (2009)Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina., , , und . IEEE International Workshop on Rapid System Prototyping, Seite 106-112. IEEE Computer Society, (2007)Rapid Prototyping of Intrusion Detection Systems., und . IEEE International Workshop on Rapid System Prototyping, Seite 89-98. IEEE Computer Society, (2007)ASCENT: A Provably Terminating Decentralized Logging Service., , , und . Comput. J., 60 (12): 1889-1911 (2017)Report on the Model Checking Contest at Petri Nets 2011., , , , , , , , , und . Trans. Petri Nets and Other Models of Concurrency, (2012)Towards Distributed Software Model-Checking Using Decision Diagrams., , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 830-845. Springer, (2013)Automated controllability and synthesis with hierarchical set decision diagrams., , , und . WODES, Seite 281-286. International Federation of Automatic Control, (2010)