Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Silvia Bonfanti
Latest
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
The Mechanical Lung Ventilator Case Study
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Extending ASMETA with Time Features
Modelling an automotive software-intensive system with adaptive features using ASMETA
AsmetaA: Animator for Abstract State Machines
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
Unified Syntax for Abstract State Machines
Cite
×