scientific article; zbMATH DE number 517336

MaRDI QIDQ4282667zbMATH OpenFDO

Authors

Publication date 23 February 1994

zbMATH Keywords

Bristol (GB)data managementimage analysis systemsProceedingssafety critical systemsSafety-critical systemsSymposiumtestability

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Data structures (68P05) Theory of data (68P99) Computing methodologies for image processing (68U10)

Recommendations

• scientific article; zbMATH DE number 545209
• scientific article; zbMATH DE number 2033508
• Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers
• scientific article; zbMATH DE number 2017338
• Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6--7, 2015. Revised selected papers

Cited in

(12)

• Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6--7, 2015. Revised selected papers
• Systematic validation of a relational control program for the bay area rapid transit system
• scientific article; zbMATH DE number 1706230 (Why is no real title available?)
• Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers
• scientific article; zbMATH DE number 545209 (Why is no real title available?)
• scientific article; zbMATH DE number 2011477 (Why is no real title available?)
• scientific article; zbMATH DE number 2033507 (Why is no real title available?)
• scientific article; zbMATH DE number 2033508 (Why is no real title available?)
• scientific article; zbMATH DE number 2033512 (Why is no real title available?)
• scientific article; zbMATH DE number 2033526 (Why is no real title available?)
• scientific article; zbMATH DE number 2080011 (Why is no real title available?)
• Editorial: Machine learning for safety-critical applications in engineering

Describes a project that uses

Uses Software

• Haskell

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 Q4282667)