Special issue: Papers from the 3rd ERCIM workshop on formal methods for industrial critical systems (FMICS 98), held at the CWI in Amsterdam, the Netherlands, 1998

DOI10.1007/S001650050025MaRDI QIDQ1125422zbMATH OpenOpenAlexFDO

Authors

Publication date 15 June 2000

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650050025

zbMATH Keywords

Amsterdam (Netherlands)ERCIM workshopFMICS 98Industrial critical systemsProceedingsSpecial issueWorkshop

Mathematics Subject Classification ID

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

Review text

The articles of this volume will be reviewed individually.

Cited in

(2)

• 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: Papers from the 3rd ERCIM workshop on formal methods for industrial critical systems (FMICS 98), held at the CWI in Amsterdam, the Netherlands, 1998

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