×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

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
Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 130-144 (2000).
MSC:  93C30 93B40
BibTeX Cite

Filter Results by …

Author
Year of Publication
Classification
Software