Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang. Verification of a real time scheduling protocol of safety-critical systems. In Giancarlo Fortino, Weiming Shen, Jean-Paul A. Barthès, Junzhou Luo, Wenfeng Li, Sergio F. Ochoa, Marie-Hélène Abel, Antonio Guerrieri, Milton Pires Ramos, editors, 19th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2015, Calabria, Italy, May 6-8, 2015. pages 286-291, IEEE, 2015. [doi]
Abstract is missing.