default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMBEES 2007: Dagstuhl, Germany
- Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2007-1, TU Braunschweig, Institut für Software Systems Engineering 2007 - Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy:
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. 1-24 - Jan Philipps:
From Component Models to Function Nets?. 25-28 - Eva Kalix, Oliver Schütte:
Obstacles to the Adoption of Model-based Design within the Automotive Supply Industry. 29-34 - Andy Yap, Peter Großhans:
Herausforderungen bei der Neugestaltung von Seriensoftwareentwicklungsumgebungen. 35-40 - Mirko Conrad:
Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. 41-50 - Carsten Gips, Hans-Werner Wiesbrock:
Notation und Verfahren zur automatischen Überprüfung von temporalen Signalabhängigkeiten und -merkmalen für modellbasiert entwickelte Software. 51-60 - Tibor Farkas, Harald Röbig:
Automatisierte, werkzeugübergreifende Richtlinienprüfung zur Unterstützung des Automotive-Entwicklungsprozesses. 61-73 - Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel:
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. 73-82 - Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf:
Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. 83-94 - Michael Erskine:
Requirements Engineering in der Analysephase mit der Rational Suite. 95-102 - Martin Glinz, Christian Seybold, Silvio Meier:
Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models. 103-112 - Mario Friske, Bernd-Holger Schlingloff:
Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen. 113-112
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-01-10 18:41 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:
