Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed implementation of message sequence charts., , und . Softw. Syst. Model., 14 (2): 1029-1048 (2015)Sessions with an Unbounded Number of Agents., , und . ACSD, Seite 166-175. IEEE Computer Society, (2014)HMSCs as Partial Specifications ... with PNs as Completions., , , und . MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 125-152. Springer, (2000)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)Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking., , , , , und . RSSRail, Volume 11495 von Lecture Notes in Computer Science, Seite 59-76. Springer, (2019)A simulation model for message sequence charts.. SDL Forum, Seite 473-488. Elsevier, (1999)Automating Scenario Merging., , und . SAM, Volume 4320 von Lecture Notes in Computer Science, Seite 64-81. Springer, (2006)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)