Akram Idani

Latest

• Transpilation of Petri-nets into B - Shallow and Deep Embeddings
• B Formal Validation of ERTMS/ETCS Railway Operating Rules