Author:
Nardone Roberto,Gentile Ugo,Peron Adriano,Benerecetti Massimo,Vittorini Valeria,Marrone Stefano,De Guglielmo Renato,Mazzocca Nicola,Velardi Luigi
Publisher
Springer International Publishing
Reference21 articles.
1. Lecture Notes in Computer Science;R Alur,1999
2. Ammann, P., Black, P., Majurski, W.: Using model checking to generate tests from specifications. In: Proceedings of the 2nd IEEE Internernational Conference on Formal Engineering Methods (ICFEM 1998), pp. 46–54. IEEE Computer Society (1998)
3. Lecture Notes in Computer Science;G Barberio,2014
4. Bjorner, D.: New results and trends in formal techniques and tools for the development of software for transportation systems - A review. In: Tarnai, G. and Schnieder, E. (eds.) Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), L’Harmattan Hongrie, Budapest/Hungary, Germany, May 2003
5. CENELEC, EN 50126:2012: Railway applications - Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS process
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献