Subject
Nuclear Energy and Engineering
Reference19 articles.
1. Specification and verification of safety properties along a crossing region in a railway network control;Ahmad;Appl. Math. Model.,2013
2. Etienne André, Mohamed Mahdi Benmoussa, Christine Choppy, 2014. In: Translating UML State Machines to Coloured Petri Nets using Acceleo: A Report.“ arXiv preprint arXiv:1405.1112, 2014, pp. 1–7,.
3. Performance evaluation and design for variable threshold alarm systems through semi-Markov process;Aslansefat;ISA Trans.,2020
4. Risk informed validation framework for external flooding scenario;Bodda;Nucl. Eng. Des.,2020
5. Testing for software reliability;Brown,1975
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献