Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings /

Bibliographic Details
Corporate Authors:	EMSOFT (Conference), SpringerLink (Online service)
Other Authors:	Henzinger, T. A. (Thomas A.), Kirsch, Christoph M., 1968-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2211.
Subjects:	Computer software > Development > Congresses. système réactif. vérification formelle. validation système. conception système. système hybride. système temps réel. intégration système. logiciel embarqué. système embarqué. Logiciels > Développement > Congrès. Systèmes enfouis (Informatique) > Conception et construction > Congrès. Computer software > Development. Systèmes enfouis (informatique) > Congrès. Eingebettetes System. Kongress. Softwareentwicklung. Electronic books. Kongress > Tahoe City (Calif.) > 2001. Conference proceedings. Tahoe City (Calif., 2001)
Online Access:	Connect to the full text of this electronic book

Remote Storage