Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier. Formal model-based conformance verification of an OSEK/VDX compliant RTOS. In 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018. pages 628-634, IEEE, 2018. [doi]
Abstract is missing.