( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Early Fault Detection in Industry Using Models at Various Abstraction Levels.

, , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 268-282. Springer, (2012)

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

 

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

Deductive Verification of UML Models in TLPVS., , , , и . UML, том 3273 из Lecture Notes in Computer Science, стр. 335-349. Springer, (2004)Semantic models of a timed distributed dataspace architecture., и . Theor. Comput. Sci., 331 (2-3): 291-323 (2005)Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations., , и . CoRR, (2015)Process Algebra in PVS., и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 270-284. Springer, (1999)Trace-Based Compositional Reasoning about Fault Tolerant Systems., и . PARLE, том 694 из Lecture Notes in Computer Science, стр. 197-208. Springer, (1993)Compositional Verification of Real-Time Applications.. COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 276-300. Springer, (1997)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)Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques., , и . VALUETOOLS, стр. 158-163. ACM, (2015)CoHLA: Design space exploration and co-simulation made easy., , , и . ICPS, стр. 225-231. IEEE, (2018)