Formal model-based conformance verification of an OSEK/VDX compliant RTOS.

Jean-Luc Bchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier

Browse the full CoDIT paper archive.