Real-time design models to RTOS-specific models refinement verification.

Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid

Browse the full MODELS paper archive.