Jorge Real;Augustín Espinosa;Alfons Crespo
-;-;-
The Ceiling Protocol in Multi-moded Real-Time Systems
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies