Pages that link to "Item:Q400476"
From MaRDI portal
The following pages link to Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers (Q400476):
Displaying 3 items.
- Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6--7, 2015. Revised selected papers (Q1684057) (← links)
- Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6--7, 2014. Revised selected papers (Q2343490) (← links)
- (Q4286751) (← links)