2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)
Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B
DOI Bookmark: 10.1109/ISSRE.2015.7381821
Authors
Yongwang Zhao, School of Computer Science and Engineering, Beihang Univerisity, Beijing, ChinaZhibin Yang, College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China
David Sanan, School of Computer Engineering, Nanyang Technological University, Singapore
Yang Liu, School of Computer Engineering, Nanyang Technological University, Singapore