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

zbMATH Open1127.68300MaRDI QIDQ880591FDOQ880591

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
Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999
Title not available (Why is that?)

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)