Login / Signup

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

Zakaryae BoudiAbderrahim Ait WakrimeSimon Collart DutilleulMohamed Haloua
Published in: MEDI Workshops (2018)
Keyphrases