Home » Authors » Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul

Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul

Public reference bibliography and cataloged PDF materials authored or published by Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul.

Found 1 document(s) Page 1 of 1

Safety critical software construction using CPN modeling and B method's proof

Year: 2014 • Source: hal.science • Listed PDF

Meeting the strict safety requirements in critical software development is today crucial for the safety-related industrial environment, especially railways. To be able to prove that all safety properties are captured in ...