A CPN/B method transformation framework for railway safety rules formal validation
Crossref DOI link: https://doi.org/10.1007/s12544-017-0228-x
Published Online: 2017-03-21
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Boudi, Zakaryae
Ben-Ayed, Rahma
El Koursi, El Miloudi
Collart-Dutilleul, Simon
Nolasco, Thomas
Haloua, Mohamed
License valid from 2017-03-21