Pages that link to "Item:Q880591"
From MaRDI portal
The following pages link to Special issue: Selected papers from the 9th international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria, September 20--21, 2004 (Q880591):
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)