• DOI:10.1007/BFb0002883
Corpus ID: 1559454

A Methodology for Compilation of High-Integrity Real-Time Programs

@inproceedings{Lermer1997AMF,
  title={A Methodology for Compilation of High-Integrity Real-Time Programs},
  author={K. Lermer and C. Fidge},
  booktitle={Euro-Par},
  year={1997}
}

• K. Lermer, C. Fidge
• Published in Euro-Par 1997
• Computer Science

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed

A practical methodology for compilation of trustworthy real-time programs is introduced. It combines new program development and timing analysis techniques with traditional compilation and assembly technologies.