Bernhard Schatz – författare
Visar alla böcker från författaren Bernhard Schatz. 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 Bernhard Schatz, Bernhard Rumpe m. fl.
E-bok, 2010
739 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 Bernhard Schatz, Gwen Salaun
E-bok, 2011
755 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 Peter Clarke, Antonio Vallecillo m. fl.
E-bok, 2013
755 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 …
