( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Unified Formulation of Behavioral Semantics for SysML Models.

, , и . MODELSWARD, стр. 263-271. SciTePress, (2015)

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.

Jan Peleska

Jan Peleska

Gerhard Peleska

Astrid Peleska

Barbara Peleska

 

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

Automated Test Suites for Modern Aircraft Controllers.. MBMV, стр. 1-10. Shaker, (2003)Formal Semantics for Ward & Mellor's Transformation Schemas., , , и . Refine, стр. 14-41. Springer, (1994)Translating Testing Theories for Concurrent Systems.. Correct System Design, том 9360 из Lecture Notes in Computer Science, стр. 133-151. Springer, (2015)Industrial-Strength Model-Based Testing of Safety-Critical Systems., и . FM, том 9995 из Lecture Notes in Computer Science, стр. 3-22. (2016)Effective grey-box testing with partial FSM models., и . CoRR, (2021)A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.. ICTAC, том 5160 из Lecture Notes in Computer Science, стр. 3-22. Springer, (2008)Model Checking and Model-Based Testing in the Railway Domain., и . SyDe Summer School, стр. 82-121. Springer, (2015)CSP and Kripke Structures., , , и . ICTAC, том 9399 из Lecture Notes in Computer Science, стр. 505-523. Springer, (2015)Experimental evaluation of a novel equivalence class partition testing strategy., , и . Softw. Syst. Model., 18 (1): 423-443 (2019)New Distribution Paradigms for Railway Interlocking.. ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 434-448. Springer, (2020)