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
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Offline Model-based Testing and Runtime Monitoring of the Sensor Voting Module
Cite
×