Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Fabian Vu
Latest
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
Validation by Abstraction and Refinement
Validation of Formal Models by Interactive Simulation
Validation of Formal Models by Timed Probabilistic Simulation
Cite
×