Bernhard Schätz – författare
Visar alla böcker från författaren Bernhard Schätz. Handla med fri frakt och snabb leverans.
3 produkter
Model-Based Engineering of Embedded Real-Time Systems
International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Av Holger Giese, Gabor Karsai m. fl.
Häftad, 2010
567 kr
Lägg i varukorg
Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an …
Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
Av Gwen Salaün, Bernhard Schätz
Häftad, 2011
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of …
Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Av Ana Moreira, Bernhard Schätz m. fl.
Häftad, 2013
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 …
