Author:
Pira Einollah,Rafe Vahid,Nikanjam Amin
Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference32 articles.
1. Integrating model checking with HiP-HOPS in model-based safety analysis;Sharvia;Reliab Eng Syst Saf,2015
2. Reliability of safety-critical systems: theory and applications;Rausand,2014
3. A heuristic approach for model checking graph transformation systems;Yousefian;Appl Soft Comput,2014
4. Ant colony optimization for deadlock detection in concurrent systems;Francesca,2011
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献