The synthesis of real-time systems from processing graphs

Steve Goddard, Kevin Jeffay. The synthesis of real-time systems from processing graphs. In 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. pages 177-186, IEEE Computer Society, 2000. [doi]

Abstract

Abstract is missing.