Dieu-Huong Vu, Toshiaki Aoki. Faithfully formalizing OSEK/VDX operating system specification. In Eric Castelli, Khanh Tran Duc, Chi Mai Luong, Viet Tran, editors, Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012. pages 13-20, ACM, 2012. [doi]
Abstract is missing.