Implementing Execution-Time Clocks for the Ada Ravenscar Profile

Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente

In Albert Llamosí and Alfred Strohmeier (ed.),
Reliable Software Technologies - Ada-Europe 2004
Springer-Verlag. LNCS (2004).
ISBN~3-540-22011-9.

BibTeX

@inproceedings{Zamorano&04,
   author = {Juan Zamorano and Alejandro Alonso and José Antonio Pulido and Juan Antonio de la Puente},
   title = {Implementing Execution-Time Clocks for the {A}da {R}avenscar Profile},
   booktitle = {Reliable Software Technologies - Ada-Europe 2004},
   editor = {Albert Llamosí and Alfred Strohmeier},
   publisher = {Springer-Verlag},
   series = {LNCS},
   volume = {3063},
   note = {ISBN~3-540-22011-9},
   year = {2004}
  }
  
  

Download PDF