Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Sangiovanni-Vincentelli, Alberto ; Sifakis, Joseph Sifakis, Joseph ; Sangiovanni-Vincentelli, Alberto
Berlin, Heidelberg: Springer Berlin / Heidelberg 2002
Texto completo disponível