


default search action
MBEES 2014: Dagstuhl, Germany
- Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme X, Schloss Dagstuhl, Germany, March 5-7, 2014, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2014 - Michael Erskine, Alexander Schäffer, Rico Lieback:

MDA für Altsysteme - Ein langer Weg. 1-10 - Adrian Beer, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue:

Towards Symbolic Causality Checking using SAT-Solving. 11-20 - Jan Meyer:

Die Ergänzung des AUTOSAR Standards für eine durchgängige modellbasierte automobile Steuergeräteentwicklung. 21-30 - Frank Tränkle:

Eine Anleitung zur Entwicklung von Simulink-Targets für die Lehre. 31-37 - Ulrich Freund:

Software Design Means for Digital Passenger Cars. 38-46 - Heiko Dörr, Ingo Stürmer:

On the right Degree of static Model Analysis for ISO 26262. 47-51 - Mirko Conrad, Ines Fey:

Effort and Efficacy of Tool Classification and Qualification. 52-62 - Ralf Jahr, Martin Frieb, Mike Gerdes, Theo Ungerer:

Model-based Parallelization and Optimization of an Industrial Control Code. 63-72 - Markus Voelter:

Preliminary Experience of using mbeddr for Developing Embedded Software. 73-82 - Bernd-Holger Schlingloff:

Towards a Curriculum for Model-Based Engineering of Embedded Systems. 83-90 - Bernhard Schätz:

On the Role of Models in Engineering Cyber-Physical Systems. 91-97 - Matthias Riebisch, Yibo Wang:

Modellbasierte Konsistenzprüfung von Produktlinien von Automatisierungssystemen. 98-103 - Sten Grüner, Ulrich Epple:

Regelbasiertes Engineering mithilfe deklarativer Graphabfragen. 104-112 - Hardi Hungar:

Assuring Standard Conformance of Partial Interfaces. 113-116

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














