Building High-Integrity Distributed Systems with Ravenscar Restrictions

Santiago Urueña, Juan Zamorano

Ada Letters, vol. XXVII, no. 2, pp. 29-36, August 2007

BibTeX

@article{Uruena&07b,
   author = {Santiago Urue{\~n}a and Juan Zamorano},
   title = {Building High-Integrity Distributed Systems with {R}avenscar Restrictions},
   note = {Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007)},
   journal = {Ada Letters},
   volume = {XXVII},
   number = {2},
   pages = {29--36},
   month = {August},
   year = {2007}
  }
  
  

Download PDF