Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Paolo Arcaini
Latest
Modelling an automotive software-intensive system with adaptive features using ASMETA
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
Unified Syntax for Abstract State Machines
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Offline Model-based Testing and Runtime Monitoring of the Sensor Voting Module
Test Generation for Sequential Nets of Abstract State Machines
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Cite
×