( 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 Dávid

Csaba Miskey

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Techniques for Safety-Critical Systems (FTSCS 2016)., und . Sci. Comput. Program., (2019)Formal aspects of component software (FACS 2018)., und . Sci. Comput. Program., (2020)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)Formal patterns for multirate distributed real-time systems., , und . Sci. Comput. Program., (2014)Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL., , , , und . Int. J. Softw. Tools Technol. Transf., 24 (6): 911-948 (2022)Formal Model Engineering for Embedded Systems Using Real-Time Maude. AMMSE, Volume 56 von EPTCS, Seite 3-13. (2011)Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper., , , , , , , , , und 3 andere Autor(en). CoRR, (2020)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)Order-Sorted Termination: The Unsorted Way., und . ALP, Volume 1139 von Lecture Notes in Computer Science, Seite 92-106. Springer, (1996)