scientific article; zbMATH DE number 4219175
From MaRDI portal
Publication:3365295
zbMATH Open0959.00039MaRDI QIDQ3365295FDOQ3365295
Authors:
Publication date: 2001
Full work available at URL: http://www.jucs.org/jucs_7_2
Title of this publication is not available (Why is that?)
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)
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)
Cited In (3)
Uses Software
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)
