Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings | 978-3-642-24430-8 (3-642-24430-0) | 2011 | Gwen Salaün |
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected ... Notes in Computer Science, Band 6100) | 978-3-642-16276-3 (3-642-16276-2) | 2010 | Holger Giese · Gabor Karsai · Edward A. Lee · Bernhard Rumpe |
Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings | 978-3-642-41532-6 (3-642-41532-6) | 2013 | Ana Moreira · Jeff Gray · Antonio Vallecillo · Peter Clarke |
B.S. · Bernard Schatz · Bernard Schutz · Bernard Stacey · Bernard Stasi · Bernard Suits · Bernardin Seitz · Bernhard Scheutz · Bernhard Schütz · Bernhard Schutz · Bernhard Seitz · Bernhard Sittig · Bernhard Stauss · Bernhard Steck · Bernhard Stuck