Formal Verification of Run-to-Completion Style Statecharts Using Event-B

von Morris, Karla
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

Refinement and Verification of Responsive Control Systems

von Morris, Karla
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)