Searching for Ribbon-Shaped Paths in Fair Transition Systems

von Bozzano, Marco
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Model-Based Safety Analysis of Mode Transitions

von Bozzano, Marco
Veröffentlicht in SAFECOMP (39. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)