Towards an automatic synthesis system for real-time software

Tobiah E. Smith, Dorothy E. Setliff. Towards an automatic synthesis system for real-time software. In Proceedings of the Real-Time Systems Symposium - 1991, San Antonio, Texas, USA, December 1991. pages 34-42, IEEE Computer Society, 1991. [doi]

Bibliographies