![Safety / Software engineering / B-Method / Software development process / IEC 61508 / Model checking / Software / Formal methods / Software development / Science Safety / Software engineering / B-Method / Software development process / IEC 61508 / Model checking / Software / Formal methods / Software development / Science](https://www.pdfsearch.io/img/45994223082314710020ba873af0817a.jpg)
| Document Date: 2008-06-04 08:54:23 Open Document File Size: 1,32 MBShare Result on Facebook
City Paris / / Company Metro Platform Screen Doors Control/Command Systems / / IndustryTerm software safety level / software parts / / OperatingSystem Aix / / Organization Project Development Cycle Validation Specification Architectural Design Detailed Design Integration Unit / / Person Thierry Lecomte / / Position project manager / / URL http /
SocialTag |