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

First Page		Document Content
Date: 2007-08-14 07:19:44 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 Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 393,45 KB Share Document on Facebook

	140620_Datenbank_simple135234569amtico20Test107_Schöck_CM2_42_en108m DocID: 1qDah - View Document
	Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France. DocID: 1prcu - View Document
	NCCLCs: Material Life Cycle of Nanomaterial Overview. Nano-enabled products that incorporate engineered nanomaterials (NMs) will have transformative benefits to individuals and society. The safety of such products to hu DocID: 1p4bv - View Document
	140620_Datenbank_simple135234569amtico20Test107_Schöck_CM2_42_en108m DocID: 1nuM3 - View Document
	CRYSTAL Seamless Life-Cycle Collaboration for Safety-Critical Systems Engineering Dr. Christian El Salloum Project Coordinator, AVL List GmbH DocID: 181f1 - View Document