Pages that link to "Item:Q1684057"
From MaRDI portal
The following pages link to Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6--7, 2015. Revised selected papers (Q1684057):
Displaying 3 items.
- Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers (Q400476) (← links)
- Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6--7, 2014. Revised selected papers (Q2343490) (← links)
- Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999 (Q5946343) (← links)