( en | de | ru )

 

Disambiguierung von "Sirjani, Marjan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Transparent Actor Model.

, , , , und . FormaliSE, Seite 97-107. IEEE, (2023)

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.

Marjan Celikik

Marjan Heidarinami

Marjan Kaji

Marjan Skrobot

Marjan Schultz

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Analysis of SystemC Designs in Process Algebra., , und . Fundam. Informaticae, 107 (1): 19-42 (2011)Model Checking Software in Cyberphysical Systems., , und . COMPSAC, Seite 1017-1026. IEEE, (2020)A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime., , , und . CoRR, (2019)Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience.. Principles of Modeling, Volume 10760 von Lecture Notes in Computer Science, Seite 423-448. Springer, (2018)Analysing timed Rebeca using McErlang., , , , und . AGERE!@SPLASH, Seite 25-36. ACM, (2013)Efficient TCTL Model Checking Algorithm for Timed Actors., , und . AGERE!@SPLASH, Seite 55-66. ACM, (2014)Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks., , , , , und . SPIN, Volume 13255 von Lecture Notes in Computer Science, Seite 24-43. Springer, (2022)Actors Revisited for Time-Critical Systems., , , , , , und . DAC, Seite 152. ACM, (2019)Transparent Actor Model., , , , und . FormaliSE, Seite 97-107. IEEE, (2023)Model Checking in Rebeca., , , , und . PDPTA, Seite 1819-1822. CSREA Press, (2003)