From post

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.

 

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

Property Verification with MSC., и . SDL Forum, том 7916 из Lecture Notes in Computer Science, стр. 19-35. Springer, (2013)Verification of BPMN Models., , и . CSDM, стр. 27-36. Springer, (2019)An attempt to convert BPMN models to SDL., и . SAM, стр. 45-53. ACM, (2020)Language Agnostic Model Checking for SDL., , и . MoDELS (Companion), стр. 231-240. IEEE, (2023)Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY., , , и . SAM, том 8769 из Lecture Notes in Computer Science, стр. 198-206. Springer, (2014)SDL - The IoT Language., , , , и . SDL Forum, том 9369 из Lecture Notes in Computer Science, стр. 27-41. Springer, (2015)An Experiment to Introduce Interrupts in SDL., и . SDL Forum, том 9369 из Lecture Notes in Computer Science, стр. 81-88. Springer, (2015)