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.

 

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

Hets: The Heterogeneous Tool Set, , и . Maya: Maintaining Structured Developments, том 4180 из Lecture Notes in Artificial Intelligence, Springer, (2006)A Framework For Intelligent DDoS Attack Detection and Response using SIEM and Ontology., , , и . ICC Workshops, стр. 1-6. IEEE, (2021)Ontology-based Cybersecurity and Resilience Framework., , , и . ICISSP, стр. 458-466. SCITEPRESS, (2021)Creating a HasCASL library, , , и . 14th Brazilian Symposium on Programming Languages (SBLP 2010), (2010)Translating Haskell to Isabelle, , , и . Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, стр. 178–193. Uni Kaiserslautern, (2007)Hets for Common Logic Users, , , , и . (2013)Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL., , , , и . J. Object Technol., 19 (3): 3:1-14 (2020)The Heterogeneous Tool Set, , и . VERIFY 2007, 4th International Verification Workshop, том 259 из CEUR Workshop Proceedings, (2007)XMI Based UML Model Composition in KobrA., , и . GI Jahrestagung (2), том 157 из Schriftenreihe der Österreichischen Computer-Gesellschaft, стр. 845-849. Konstanz UVK-Verl.-Ges., (2001)Towards Effective Verification of Multi-Model Access Control Properties., , , , и . SACMAT, стр. 149-160. ACM, (2019)