Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3 Publications


2001 | Conference Paper | IST-REx-ID: 4623
L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
T. A. Henzinger, Ed., EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
View | DOI
 

Filters and Search Terms

isbn=9783540426738

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed