zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Sangiovanni-Vincentelli, Alberto (ed.) et al., Embedded software. Second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2491, 32-45 (2002).
BibTeX Cite
Full Text: Link
Henzinger, Thomas A. (ed.) et al., Embedded software. 1st international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8–10, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42673-6). Lect. Notes Comput. Sci. 2211, 166-184 (2001).
MSC:  68N99
BibTeX Cite
Full Text: Link

Filter Results by …

Year of Publication