( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Security Test Generation by Answer Set Programming.

, , , и . SERE, стр. 88-97. IEEE, (2014)

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.

Reinhold Zech

Hendrik Zech

Jürgen Zech

Michael Zech

Ute Zech

 

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

Security Test Generation by Answer Set Programming., , , и . SERE, стр. 88-97. IEEE, (2014)Security Risk Analysis by Logic Programming., , и . RISK@ICTSS, том 8418 из Lecture Notes in Computer Science, стр. 38-48. Springer, (2013)Model-Based Auto-Commissioning of Building Control Systems., , , , , и . ICEIS (2), стр. 121-128. SCITEPRESS, (2024)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)Action representations in robotics: A taxonomy and systematic classification., , , , и . Int. J. Robotics Res., (2019)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)