Special issue: Selected papers from the 9th international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria, September 20--21, 2004

Authors

Publication date 16 May 2007

Published in Formal Methods in System Design (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(3)

Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6--7, 2014. Revised selected papers
scientific article; zbMATH DE number 4219175 (Why is no real title available?)
Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999

This page was built for publication: Special issue: Selected papers from the 9th international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria, September 20--21, 2004

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q880591)