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
De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.
View | DOI
 

Filters and Search Terms

isbn=9783540426738

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed