On the Dynamic Semantics and the Timing Behaviour of Ravenscar Kernels

Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente

Real-Time Systems, vol. 29, no. 1, pp. 1-31, 2005

BibTeX

@article{Vardanega&05a,
   author = {Juan Antonio de la Puente and Juan Zamorano},
   title = {ORK: Tecnolog\'{\i}a de software fiable para sistemas de tiempo real},
   journal = {Revista Iberoamericana de Autom\'atica e Inform\'atica Industrial},
   volume = {3},
   number = {2},
   pages = {19--27},
   year = {2006}
  }
  
  

Download PDF