Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Browse the full MEDI paper archive.