Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Dana Dghaym
Latest
Designing Critical Systems Using Hierarchical STPA and Event-B
Extensible Record Structures in Event-B
The CamilleX Framework for the Rodin Platform
Verifying System-Level Security of a Smart Ballot Box
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
A Graphical Tool for Event Refinement Structures in Event-B
Cite
×