scientific article; zbMATH DE number 545209
From MaRDI portal
Publication:4286751
Birmingham (GB)neural computingProceedingsprogrammable logic controllerreliabilitysafetySafety-critical systemssafety-critical systemsSymposium
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Learning and adaptive systems in artificial intelligence (68T05) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)
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
Cited in
(7)- Emergency protection: theory, standards, and practice of PLC system
- scientific article; zbMATH DE number 517336 (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?)
- Blackett Memorial Lecture: the nuclear option—human factors in safety
- New statistics for demand-based software testing
- Editorial: Machine learning for safety-critical applications in engineering
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)
