Penulis: Bernhard Schatz

Dukung

3 Ebooks oleh Bernhard Schatz

Holger Giese & Gabor Karsai: Model-Based Engineering of Embedded Real-Time Systems
Thetopicof"Model-Based Engineeringof Real-Time Embedded Systems"brings together a challenging problem domain (real-time embedded systems) and a – lution domain (model-based engineering). It …
PDF
Inggris
DRM
€57.17
Gwen Salaun & Bernhard Schatz: Formal Methods for Industrial Critical Systems
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 …
PDF
Inggris
DRM
€57.36
Peter Clarke & Jeff Gray: Model-Driven Engineering Languages and Systems
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. …
PDF
Inggris
DRM
€57.17