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.

 

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

Assessment of a Formal Requirements Modeling Approach on a Transportation System., , , , , и . ICFEM, том 11852 из Lecture Notes in Computer Science, стр. 470-486. Springer, (2019)An Event-B Model of an Automotive Adaptive Exterior Light System., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 351-366. Springer, (2020)Comparison of Model Checking Tools for Information Systems., , , , и . ICFEM, том 6447 из Lecture Notes in Computer Science, стр. 581-596. Springer, (2010)Formal Modeling for Deploying Improvement and Innovation in Information Technology., и . KMIS, стр. 318-323. INSTICC Press, (2009)A Revealing Large-Scale Evaluation of Unsupervised Anomaly Detection Algorithms., , , , , и . CoRR, (2022)Supervisory control theory with Alloy., , и . Sci. Comput. Program., (2014)Statistical Approach For Cloud Security: Microsoft Office 365 audit logs case study., , , , , и . DSN Workshops, стр. 15-18. IEEE, (2021)A Four-concern-oriented Secure IS Development Approach., , , , , , и . SECRYPT, стр. 464-471. SciTePress, (2011)A SAT-Based Approach for the Construction of Reusable Control System Components., , , и . FMICS, том 6959 из Lecture Notes in Computer Science, стр. 52-67. Springer, (2011)Extended Algebraic State-Transition Diagrams., , , и . ICECCS, стр. 146-155. IEEE Computer Society, (2018)