( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Order-Sorted Termination: The Unsorted Way.

, и . ALP, том 1139 из Lecture Notes in Computer Science, стр. 92-106. Springer, (1996)

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

 

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

Formal Techniques for Safety-Critical Systems (FTSCS 2016)., и . Sci. Comput. Program., (2019)Probabilistic Real-Time Rewrite Theories and Their Expressive Power., и . FORMATS, том 6919 из Lecture Notes in Computer Science, стр. 60-79. Springer, (2011)Formal aspects of component software (FACS 2018)., и . Sci. Comput. Program., (2020)Timed Strategies for Real-Time Rewrite Theories., и . CoRR, (2024)Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL., , , , и . Int. J. Softw. Tools Technol. Transf., 24 (6): 911-948 (2022)Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper., , , , , , , , , и 3 other автор(ы). CoRR, (2020)Formal patterns for multirate distributed real-time systems., , и . Sci. Comput. Program., (2014)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 for Embedded Systems Using Real-Time Maude. AMMSE, том 56 из EPTCS, стр. 3-13. (2011)Order-Sorted Termination: The Unsorted Way., и . ALP, том 1139 из Lecture Notes in Computer Science, стр. 92-106. Springer, (1996)