( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Real-Time Rewrite Theories and Their Expressive Power.

, и . FORMATS, том 6919 из Lecture Notes in Computer Science, стр. 60-79. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gergely Csaba

Csaba Lovász

Csaba Szinyei

Csaba Miskey

Csaba Dávid

 

Другие публикации лиц с тем же именем

Probabilistic Real-Time Rewrite Theories and Their Expressive Power., и . FORMATS, том 6919 из Lecture Notes in Computer Science, стр. 60-79. Springer, (2011)Order-Sorted Termination: The Unsorted Way., и . ALP, том 1139 из Lecture Notes in Computer Science, стр. 92-106. Springer, (1996)HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 491-504. Springer, (2021)Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL., и . FACS, том 14485 из Lecture Notes in Computer Science, стр. 127-152. Springer, (2023)Formal Patterns for Multi-rate Distributed Real-Time Systems., , и . FACS, том 7684 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2012)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , и 3 other автор(ы). FMFun, том 1301 из Communications in Computer and Information Science, стр. 1-26. Springer, (2019)Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.. SNPD, стр. 241-248. IEEE Computer Society, (2008)Formal Modeling and Analysis of an IETF Multicast Protocol., и . SEFM, стр. 273-282. IEEE Computer Society, (2009)Timed Strategies for Real-Time Rewrite Theories., и . WRLA, том 14953 из Lecture Notes in Computer Science, стр. 124-144. Springer, (2024)Teaching an Advanced Maude-Based Formal Methods Course in Oslo.. WRLA, том 14953 из Lecture Notes in Computer Science, стр. 195-207. Springer, (2024)