A typed assembly language for real-time programs

Thomas A. Henzinger, Christoph M. Kirsch. A typed assembly language for real-time programs. In Giorgio C. Buttazzo, editor, EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. pages 104-113, ACM, 2004. [doi]

Authors

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Christoph M. Kirsch

This author has not been identified. Look up 'Christoph M. Kirsch' in Google