default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMBEES 2012: Dagstuhl, Germany
- Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2012 - Christian Dziobek, Thomas Ringler, Florian Wohlgemuth:
Herausforderungen bei der modellbasierten Entwicklung verteilter Fahrzeugfunktionen in einer verteilten Entwicklungsorganisation. MBEES 2012: 1-10 - Hartmut Pohlheim, Ingo Stürmer:
Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter Software. MBEES 2012: 11-20 - Oliver Niggemann, Benno Stein, Alexander Maier:
Solving Modeling Problems with Machine Learning -- A Classification Scheme of Model Learning Approaches for Technical Systems. MBEES 2012: 21-30 - Mirko Conrad, Tom Erkkinen, Matt Englehart, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan:
Automating Code Reviews with Simulink Code Inspector. MBEES 2012: 31-36 - Ulrich Freund:
Frontloading of Complexity -- Experience with AUTOSAR. MBEES 2012: 37-38 - Michael Liebig, Jens Weiland:
Einfluss von Wiederverwendung zeitkritischer Funktionen in AUTOSAR. MBEES 2012: 39-48 - Sebastian Voss, Bernhard Schätz:
Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. MBEES 2012: 49-56 - Hartmut Lackner, Holger Schlingloff:
Modeling for automated test generation - a comparison. MBEES 2012: 57-70 - Florian Leitner-Fischer, Stefan Leue:
Towards Causality Checking for Complex System Models. MBEES 2012: 71-80 - Sten Grüner, David Kampert, Ulrich Epple:
A Model-Based Implementation of Function Block Diagram. MBEES 2012: 81-90 - Dmitry Renzhin, Dorothea Pantförder, Jens Folmer, Birgit Vogel-Heuser:
Darstellungskonzepte für die zustandsabhängige Diagnose industrieller Kommunikationsnetzwerken für verteilte Automatisierungssysteme. MBEES 2012: 91-100 - Alexander Pacholik, Matthias Riebisch:
Modelling Technical Constraints and Preconditions for Alternative Design Desicions. MBEES 2012: 101-106 - Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb:
Towards an Extensible C for Embedded Programming. MBEES 2012: 107-112 - Stefan Henkler, Tobias Eckardt:
Component Behavior Synthesis for Critical Systems. MBEES 2012: 113-122 - Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck:
Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES 2012: 123-132 - Sara Blessing, Michaela Huhn:
Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. MBEES 2012: 133-144 - Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner:
A framework for formal verification of systems of synchronous components. MBEES 2012: 145-154 - Hardi Hungar:
Components and Contracts: A Semantical Foundation for Compositional Refinement. MBEES 2012: 157-162
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.
last updated on 2025-11-27 01:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
