Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Akram Idani
Latest
Transpilation of Petri-nets into B - Shallow and Deep Embeddings
B Formal Validation of ERTMS/ETCS Railway Operating Rules
Cite
×