( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model based component development and analysis with ComMA.

, , , и . Sci. Comput. Program., (2024)

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.

Szymon Józefczuk

Branislav Jozefíni

Hooman Latifi

Hooman Talebnasab

Hooman Shayani

 

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

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations., , и . CoRR, (2015)Deductive Verification of UML Models in TLPVS., , , , и . UML, том 3273 из Lecture Notes in Computer Science, стр. 335-349. Springer, (2004)Integrating methods for the design of real-time systems., и . J. Syst. Archit., 42 (6-7): 489-502 (1996)Semantic models of a timed distributed dataspace architecture., и . Theor. Comput. Sci., 331 (2-3): 291-323 (2005)Process Algebra in PVS., и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 270-284. Springer, (1999)Compositional Verification of Real-Time Applications.. COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 276-300. Springer, (1997)Trace-Based Compositional Reasoning about Fault Tolerant Systems., и . PARLE, том 694 из Lecture Notes in Computer Science, стр. 197-208. Springer, (1993)Early Fault Detection in Industry Using Models at Various Abstraction Levels., , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 268-282. Springer, (2012)A Compositional Semantics for Fault-Tolerant Real-Time Systems., и . FTRTFT, том 571 из Lecture Notes in Computer Science, стр. 33-51. Springer, (1992)CoHLA: Design space exploration and co-simulation made easy., , , и . ICPS, стр. 225-231. IEEE, (2018)