Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference72 articles.
1. System engineering general requirements, Technical Report, ECSS-E-ST-10C, ESA requirements and standards division, Noordwijk, Netherlands; March 2009.
2. Dvorak DL. NASA study on flight software complexity, Technical Report, California Institute of Technology; 2009.
3. COMPASS Website, 〈compass.informatik.rwth-aachen.de〉.
4. Principles of model checking;Baier,2008
5. Model-checking algorithms for continuous-time markov chains;Baier;Trans Softw Eng,2003
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献