Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2019
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2017
Reachability Problems Reachability Problems
2016