( en | de | ru )

 

Disambiguierung von "Ölveczky, Peter Csaba"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.

, , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 491-504. Springer, (2021)

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.

Gergely Csaba

Csaba Lovász

Csaba Szinyei

Csaba Miskey

Csaba Dávid

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Patterns for Multi-rate Distributed Real-Time Systems., , und . FACS, Volume 7684 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2012)Formal Modeling and Analysis of an IETF Multicast Protocol., und . SEFM, Seite 273-282. IEEE Computer Society, (2009)Probabilistic Real-Time Rewrite Theories and Their Expressive Power., und . FORMATS, Volume 6919 von Lecture Notes in Computer Science, Seite 60-79. Springer, (2011)Timed Strategies for Real-Time Rewrite Theories., und . CoRR, (2024)Order-Sorted Termination: The Unsorted Way., und . ALP, Volume 1139 von Lecture Notes in Computer Science, Seite 92-106. Springer, (1996)HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 491-504. Springer, (2021)Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL., und . FACS, Volume 14485 von Lecture Notes in Computer Science, Seite 127-152. Springer, (2023)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , und 3 andere Autor(en). FMFun, Volume 1301 von Communications in Computer and Information Science, Seite 1-26. Springer, (2019)Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.. SNPD, Seite 241-248. IEEE Computer Society, (2008)Semantics and pragmatics of Real-Time Maude., und . High. Order Symb. Comput., 20 (1-2): 161-196 (2007)