Using an Architecture Description Language to Model Real-Time Kernels

José A. Pulido, Santiago Urueña, Juan A. de la Puente, Juan Zamorano

In J.A. de la Puente (ed.), I Simposio sobre sistemas de tiempo real (CEDI 2005).

BibTeX

@inproceedings{Pulido&&05,
   author = {Jos\'e A. Pulido and Santiago Urue{\~n}a and Juan A. de la Puente and Juan Zamorano},
   title = {Using an Architecture Description Language to Model Real-Time Kernels},
   booktitle = {I Simposio sobre sistemas de tiempo real (CEDI 2005)},
   editor = {Juan A. de la Puente},
   publisher ={Thomson-Paraninfo},
   note = {ISBN: 84-9732-448-X},
   month = {September},
   year = {2005}
  }
  
  

Download PDF