![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 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](https://www.pdfsearch.io/img/3c877adfd34d19001ade621579a4d09c.jpg) Date: 2007-08-14 07:19:44Systems 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 ListSource URL: rodin.cs.ncl.ac.ukDownload Document from Source Website File Size: 393,45 KBShare Document on Facebook
|