Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Atif Mashkoor
Latest
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
Validation by Abstraction and Refinement
Validation of Formal Models by Timed Probabilistic Simulation
AsmetaA: Animator for Abstract State Machines
The Hemodialysis Machine Case Study
How to Select the Suitable Formal Method for an Industrial Application: A Survey
Unified Syntax for Abstract State Machines
Towards Validation of Requirements Models
Cite
×