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.

 

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

Special issue on formal active and passive testing of distributed and networked systems., , и . Ann. des Télécommunications, 70 (3-4): 83-84 (2015)Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection., , , , и . ICWS, том 10966 из Lecture Notes in Computer Science, стр. 472-486. Springer, (2018)Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System., и . SEKE, стр. 393-396. Knowledge Systems Institute Graduate School, (2014)A GSM-MAP Protocol Experiment Using Passive Testing., , и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 915-934. Springer, (1999)On Testing against Partial Non-observable Specifications., , и . QUATIC, стр. 230-233. IEEE Computer Society, (2014)A modal based verification for LOTOS., и . FORTE, том 6 из IFIP Conference Proceedings, стр. 215-217. Chapman & Hall, (1994)Different Approaches to Protocol and Service Testing.. IWTCS, том 147 из IFIP Conference Proceedings, стр. 3-18. Kluwer, (1999)HTTP/2 Attacks Generation using 5Greplay., , , , и . ARES, стр. 138:1-138:7. ACM, (2023)SANCUS: Multi-layers Vulnerability Management Framework for Cloud-native 5G networks., , , , , , , , , и 5 other автор(ы). ARES, стр. 108:1-108:10. ACM, (2021)TestNet: Let's Test Together!., , и . TestCom, том 2644 из Lecture Notes in Computer Science, стр. 258-264. Springer, (2003)