Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.

Darren D. Cofer, Murali Rangarajan

Browse the full EMSOFT paper archive.