Pages that link to "Item:Q611865"
From MaRDI portal
The following pages link to Special issue: Selected papers from the 12th and 13th workshop on formal methods for industrial critical systems (FMICS 2007 and FMICS 2008), Berlin Germany, July 2007, and L'Aquila, Italy, September 2008 (Q611865):
Displaying 3 items.
- Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6--7, 2014. Revised selected papers (Q2343490) (← links)
- (Q3365295) (← links)
- Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999 (Q5946343) (← links)