| emsoft | participants

Darren D. Cofer

EMSOFT 2002: 2nd International Workshop on Embedded Software

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

Darren D. Cofer and Murali Rangarajan