( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating methods for the design of real-time systems.

, и . J. Syst. Archit., 42 (6-7): 489-502 (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.

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)Compositional Verification of Real-Time Applications.. COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 276-300. Springer, (1997)Process Algebra in PVS., и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 270-284. Springer, (1999)CoHLA: Design space exploration and co-simulation made easy., , , и . ICPS, стр. 225-231. IEEE, (2018)Semantic models of a timed distributed dataspace architecture., и . Theor. Comput. Sci., 331 (2-3): 291-323 (2005)Integrating methods for the design of real-time systems., и . J. Syst. Archit., 42 (6-7): 489-502 (1996)Deductive Verification of UML Models in TLPVS., , , , и . UML, том 3273 из Lecture Notes in Computer Science, стр. 335-349. Springer, (2004)Industrial Application of Formal Models Generated from Domain Specific Languages.. Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 277-293. Springer, (2016)Uniting Academic Achievements on Performance Analysis with Industrial Needs., и . QEST, том 9259 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2015)Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning., и . Onward!, стр. 15-31. ACM, (2023)