Pattern-Based Risk Identification for Model-Based Risk Management

Maritta Heisel, Marvin Wagner. Pattern-Based Risk Identification for Model-Based Risk Management. In Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, editors, Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Volume 14165 of Lecture Notes in Computer Science, pages 114-129, Springer, 2023. [doi]

Authors

Maritta Heisel

This author has not been identified. Look up 'Maritta Heisel' in Google

Marvin Wagner

This author has not been identified. Look up 'Marvin Wagner' in Google