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

Karl Lermer, Colin J. Fidge. A Methodology for Compilation of High-Integrity Real-Time Programs. In Christian Lengauer, Martin Griebl, Sergei Gorlatch, editors, Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Volume 1300 of Lecture Notes in Computer Science, pages 1274-1281, Springer, 1997.

Abstract

Abstract is missing.