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.

 

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

Regression verification of AADL models through slicing of system dependence graphs., , , и . QoSA, стр. 103-112. ACM, (2014)Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report., и . REFSQ, том 10153 из Lecture Notes in Computer Science, стр. 363-369. Springer, (2017)Concepts and Relationships in Safety and Security Ontologies: A Comparative Study., , и . ICSRS, стр. 357-364. IEEE, (2022)A Combined Security Ontology based on the Unified Foundational Ontology., , и . ICSC, стр. 187-194. IEEE, (2022)Hazard Analysis on a System of Systems using the Hazard Ontology., , , и . SoSE, стр. 1-6. IEEE, (2023)Achieving Industrial Strength Timing Predictions of Embedded System Behavior., , и . ESA, стр. 173-178. CSREA Press, (2008)Efficient Event-Triggered Tasks in an RTOS., , , , и . ESA, стр. 31-37. CSREA Press, (2005)An ontological approach to identify the causes of hazards for safety-critical systems., , , и . ICSRS, стр. 405-413. IEEE, (2017)AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL., , , , и . QoSA, стр. 31-40. IEEE Computer Society, (2016)Efficient Development of Real-Time Systems Using Hybrid Scheduling., , и . ESA, стр. 53-59. CSREA Press, (2005)