Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Colin F. Snook
Latest
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
Cite
×