Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid. Real-time design models to RTOS-specific models refinement verification. In Iulian Ober, editor, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. pages 25-30, ACM, 2012. [doi]
Abstract is missing.