Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Michelle Werth
Latest
Modelling and Validating an Automotive System in Classical B and Event-B
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
Cite
×