( en | de | ru )

 

Disambiguierung von "Ölveczky, Peter Csaba"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Object-Oriented Algebraic Steam-Boiler Control Specification.

, , und . Formal Methods for Industrial Applications, Volume 1165 von Lecture Notes in Computer Science, Seite 379-402. Springer, (1995)

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

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)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)Probabilistic Real-Time Rewrite Theories and Their Expressive Power., und . FORMATS, Volume 6919 von Lecture Notes in Computer Science, Seite 60-79. Springer, (2011)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)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 Modeling and Analysis of an IETF Multicast Protocol., und . SEFM, Seite 273-282. IEEE Computer Society, (2009)Formal Patterns for Multi-rate Distributed Real-Time Systems., , und . FACS, Volume 7684 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2012)Hybrid Multirate PALS., und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 114-134. Springer, (2015)