Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference22 articles.
1. Analysing cognitive behavior using LOTOS and Mexitl;Bowman;Form Asp Comput,1999
2. Butler RW, Miller SP, Potts JN, Carreño VA. A formal methods approach to the analysis of mode confusion. In 17th AIAA/IEEE Digital Avionics Systems Conference, Bellevue, WA, October 1998.
3. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans Program Lang Syst,1986
4. Model checking;Clarke,1999
5. Formalizing space shuttle software requirements: four case studies;Crow;ACM Trans Software Engng Method,1998
Cited by
103 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献