Asynchronous Composition of Local Interface LTL Properties

von Bombardelli, Alberto
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

COMPASTA: Extending TASTE with Formal Design and Verification Functionality

von Bombardelli, Alberto
Veröffentlicht in IMBSA (8. : 2022 : München) Model-based safety and assessment (2022)