Rettberg, Achim creator Zanella, Mauro C.Amann, Michael Keckeisen, Michael Ramming, Franz J. [Eds.] text Germany Springer 2010 monographic | 0 Ing les 313 p. Informatica Modelling Transaction level modelling Schedulin and real-time systemsSimulation, verification and test Platforms and processors Automotive systems Case studies Wireless sensor network Tutorials 001.61 978-3-642-04283-6 015477 220712 015477