01380nam--2200385---450 99000111242020331620180312154620.03-540-44307-X000111242USA01000111242(ALEPH)000111242USA0100011124220021206d2002----km-y0ITAy0103-------baENGDEEmbedded softwareSecond International Conference, EMSOFT 2002Grenoble , France, October 7-9, 2002proceedingsAlberto Sangiovanni-Vincentelli...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002IX, 421 p.ill.20 cmLecture notes in computer science24912001Lecture notes in computer science2491SoftwareCongressi2002005.1Sangiovanni-Vincentelli,AlbertoInternational conference, EMSOFT 2002 <2. ; 2002 ; Grenoble , France>554439ITACBSISBD990001112420203316001 LNCS (2491)0027333 CBS00100113216BKSCIDIGIUSEPPE9020021206USA011135DIGIUSEPPE9020021206USA011137DIGIUSEPPE9020021209USA011254PATRY9020040406USA011717Embedded software981213UNISA