Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Angelo Gargantini
Latest
Modelling an automotive software-intensive system with adaptive features using ASMETA
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
×