Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings

Alberto L. Sangiovanni-Vincentelli Joseph Sifakis Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings EMSOFT Lecture Notes in Computer Science 2491 Springer 2002 3-540-44307-X db/conf/emsoft/emsoft2002.html