From post

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities.

, , , , , , , и . SAFECOMP, том 12234 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2020)

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.

 

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

Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model.. SAFECOMP, том 2434 из Lecture Notes in Computer Science, стр. 236-248. Springer, (2002)Model-based safety analysis of software product lines., , , , , и . Int. J. Embed. Syst., 8 (5/6): 412-426 (2016)DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems., , , , , , , , , и 1 other автор(ы). DATE, стр. 1626-1631. IEEE, (2021)Model-Based Synthesis of Fault Trees from Matlab-Simulink Models., и . DSN, стр. 77-82. IEEE Computer Society, (2001)Failure Mode Reasoning in Model Based Safety Analysis., , , , и . IMBSA, том 12297 из Lecture Notes in Computer Science, стр. 130-145. Springer, (2020)A hierarchical method for the reduction of temporal expressions in Pandora., и . DYADEM-FTS@EDCC, стр. 7-12. ACM, (2010)Supporting the Automated Generation of Modular Product Line Safety Cases., , , , , и . DepCoS-RELCOMEX, том 365 из Advances in Intelligent Systems and Computing, стр. 319-330. Springer, (2015)WAP: Digital Dependability Identities., , , , , и . CoRR, (2021)A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS., , , , и . IMBSA, том 11842 из Lecture Notes in Computer Science, стр. 109-124. Springer, (2019)Variability Management in Safety-Critical Software Product Line Engineering., , , , , и . ICSR, том 10826 из Lecture Notes in Computer Science, стр. 3-22. Springer, (2018)