Back to Results
First PageMeta Content
Systems engineering / Formal methods / Product development / Software design / Software quality / Software development process / B-Method / Safety life cycle / Specification / Reliability engineering / Functional specification / Paris Mtro Line 14


Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France.
Add to Reading List

Document Date: 2007-08-14 07:19:44


Open Document

File Size: 393,45 KB

Share Result on Facebook
UPDATE