( en | de | ru )

 

Disambiguierung von "Hélouët, Loïc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decidable Race Condition and Open Coregions in HMSC.

, , , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2010)

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.

Loïc Fejoz

Loïc Botrel

Loïc Yon

Loïc Denis

Loïc Paulevé

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed implementation of message sequence charts., , und . Softw. Syst. Model., 14 (2): 1029-1048 (2015)Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics., und . Petri Nets, Volume 9698 von Lecture Notes in Computer Science, Seite 155-175. Springer, (2016)Robustness of Time Petri Nets under Guard Enlargement., , , und . RP, Volume 7550 von Lecture Notes in Computer Science, Seite 92-106. Springer, (2012)HMSCs as Partial Specifications ... with PNs as Completions., , , und . MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 125-152. Springer, (2000)Sessions with an Unbounded Number of Agents., , und . ACSD, Seite 166-175. IEEE Computer Society, (2014)Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking., , , , , und . RSSRail, Volume 11495 von Lecture Notes in Computer Science, Seite 59-76. Springer, (2019)Automating Scenario Merging., , und . SAM, Volume 4320 von Lecture Notes in Computer Science, Seite 64-81. Springer, (2006)A simulation model for message sequence charts.. SDL Forum, Seite 473-488. Elsevier, (1999)Waiting Nets., und . Petri Nets, Volume 13288 von Lecture Notes in Computer Science, Seite 67-89. Springer, (2022)Non-interference in Partial Order Models., , und . ACSD, Seite 80-89. IEEE Computer Society, (2015)