Author:
Broomfield E.J.,Chung P.W.H.
Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference40 articles.
1. Safety-critical systems, formal methods and standards;Bowen;Software Engng J.,1993
2. Software failures modes and effects analysis;Reifer;IEEE Trans. Reliab.,1979
3. Out of control: why control systems go wrong and how to prevent failure;Health and Safety Executive,1995
4. Software requirements analysis for real-time process-control systems;Jaffe;IEEE Trans. Software Engng,1991
5. Informal and formal requirements specification languages: bridging the gap;Fraser;IEEE Trans. Software Engng,1991
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献