Run-time mechanisms for property preservation in high-integrity real-time systems

Juan Zamorano, Juan A. de la Puente, J\´erôme Hugues, Tullio Vardanega

OSPERT 2007 --- Workshop on Operating System Platforms for Embedded Real-Time Applications, July 2007.

BibTeX

@inproceedings{Zamorano&07a,
   author = {Juan Zamorano and Juan A. de la Puente and J\´{e}r\^{o}me Hugues and Tullio Vardanega},
   title = {Run-time mechanisms for property preservation in high-integrity real-time systems},
   booktitle = {OSPERT 2007 --- Workshop on Operating System Platforms for Embedded Real-Time Applications},
   address = {Pisa. Italy},
   year = {2007},
   month = {July}
  }
  
  

Download PDF