Embedded Software
Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
| ISBN: | 9783540443070 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 430 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Sangiovanni-Vincentelli, Alberto Sifakis, Joseph |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 25.09.2002 |
| Untertitel: | Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings |
| Schlagworte: | Embedded systems Middleware communication protocols embedded control embedded software formal methods formal verification modeling operating system reactive systems |
Anmelden