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
|