Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Silvia Bonfanti
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
Cite
×