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]

Authors

Tobiah E. Smith

This author has not been identified. Look up 'Tobiah E. Smith' in Google

Dorothy E. Setliff

This author has not been identified. Look up 'Dorothy E. Setliff' in Google