Synchronous Modeling and Validation of Priority Inheritance Schedulers.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

Browse the full FASE paper archive.