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.

 

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

Security Test Generation by Answer Set Programming., , , и . SERE, стр. 88-97. IEEE, (2014)Model-Based Auto-Commissioning of Building Control Systems., , , , , и . ICEIS (2), стр. 121-128. SCITEPRESS, (2024)Security Risk Analysis by Logic Programming., , и . RISK@ICTSS, том 8418 из Lecture Notes in Computer Science, стр. 38-48. Springer, (2013)Action representations in robotics: A taxonomy and systematic classification., , , , и . Int. J. Robotics Res., (2019)Towards Risk - Driven Security Testing of Service Centric Systems., , и . QSIC, стр. 140-143. IEEE, (2012)Cloud risk analysis by textual models., , и . MDHPCL@MoDELS, стр. 5. ACM, (2012)A Generic Platform for Model-Based Regression Testing., , , и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 112-126. Springer, (2012)Model-based security testing: a taxonomy and systematic classification., , , , и . Softw. Test. Verification Reliab., 26 (2): 119-148 (2016)Towards a Model Based Security Testing Approach of Cloud Computing Environments., , и . SERE (Companion), стр. 47-56. IEEE, (2012)Towards a Success Model for Automated Programming Assessment Systems Used as a Formative Assessment Tool., , , , , , и . ITiCSE (1), стр. 271-277. ACM, (2023)