scientific article; zbMATH DE number 4219175

MaRDI QIDQ3365295zbMATHFDO

Authors

Publication date 2001

Full work available at URL http://www.jucs.org/jucs_7_2

zbMATH Keywords

VerificationProceedingsWorkshopSpecial issueSystem designReisensburg castle (Germany)FM-TOOLs

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Special issue: Tools for system design and verification. FM-TOOLs 2000, 4th workshop, Reisensburg castle, Germany, 2000
• scientific article; zbMATH DE number 1307376
• Special issue: Selected papers from the 9th international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria, September 20--21, 2004
• Special issue: Selected papers from the 12th and 13th workshop on formal methods for industrial critical systems (FMICS 2007 and FMICS 2008), Berlin Germany, July 2007, and L'Aquila, Italy, September 2008
• scientific article; zbMATH DE number 527259
• Special issue on the 4th international workshop of the ERCIM working group on formal methods for industrial critical systems, Trento, Italy, July 11--12, 1999 --- selected papers
• 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
• Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999
• Special issue of the 21st international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

Cited in

(3)

• scientific article; zbMATH DE number 47348 (Why is no real title available?)
• scientific article; zbMATH DE number 1307376 (Why is no real title available?)
• Special issue on rich models, EU-COST action IC0901 rich-model toolkit

Describes a project that uses

Uses Software

• CCSL

This page was built for publication:

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