scientific article; zbMATH DE number 545209

zbMATH Open0809.68018MaRDI QIDQ4286751FDOQ4286751

Authors:

Publication date: 10 April 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 517336
• 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
• Reliability of safety-critical systems. Theory and applications
• Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6--7, 2014. Revised selected papers
• scientific article; zbMATH DE number 736672
• Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999

zbMATH Keywords

reliabilityneural computingsafetyProceedingsSymposiumprogrammable logic controllersafety-critical systemsBirmingham (GB)Safety-critical systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Blackett Memorial Lecture: the nuclear option—human factors in safety
• New statistics for demand-based software testing

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