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.

 

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

Early validation of system requirements and design through correctness-by-construction., , , , и . J. Syst. Softw., (2018)On optimal hybrid ARQ control schemes for HSDPA with 16QAM., , и . WiMob (1), стр. 121-127. IEEE, (2005)SeBip: A Symbolic Executor for BIP., и . ICECCS, стр. 174-177. IEEE Computer Society, (2015)Model-based automated testing of critical PLC programs., , , и . INDIN, стр. 722-727. IEEE, (2013)Extended Connectors: Structuring Glue Operators in BIP., и . ICE, том 131 из EPTCS, стр. 20-35. (2013)Automatic Fault Localization for BIP., , , и . SETTA, том 9409 из Lecture Notes in Computer Science, стр. 277-283. Springer, (2015)Parameterized Systems in BIP: Design and Model Checking., , , , , и . CONCUR, том 59 из LIPIcs, стр. 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Ordering events based on intentionality in cyber-physical systems., , , и . ICCPS, стр. 107-118. IEEE Computer Society / ACM, (2018)Towards a Theory of Glue. ICE, том 104 из EPTCS, стр. 48-66. (2012)The algebra of connectors: structuring interaction in BIP., и . EMSOFT, стр. 11-20. ACM, (2007)