2007 |
9 | EE | Dirk Ziegenbein,
Peter Braun,
Ulrich Freund,
Andreas Bauer,
Jan Romberg,
Bernhard Schätz:
AutoMoDe - Model-Based Development of Automotive Software
CoRR abs/0710.4829: (2007) |
8 | EE | Andreas Bauer,
Manfred Broy,
Jan Romberg,
Bernhard Schätz,
Peter Braun,
Ulrich Freund,
Nuria Mata,
Robert Sandner,
Pierre Mai,
Dirk Ziegenbein:
Das AutoMoDe-Projekt.
Inform., Forsch. Entwickl. 22(1): 45-57 (2007) |
2005 |
7 | EE | Dirk Ziegenbein,
Peter Braun,
Ulrich Freund,
Andreas Bauer,
Jan Romberg,
Bernhard Schätz:
AutoMoDe - Model-Based Development of Automotive Software.
DATE 2005: 171-177 |
6 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS.
ECBS 2005: 307-314 |
2003 |
5 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Consistency in Model-Based Development.
ECBS 2003: 287-296 |
2002 |
4 | EE | Michael von der Beeck,
Peter Braun,
Martin Rappl,
Christian Schröder:
Model Based Requirements Engineering for Embedded Software.
RE 2002: 92-94 |
2001 |
3 | | Peter Braun,
Martin Rappl:
A Model-Based Approach for Automotive Software Development.
OMER 2001: 100-105 |
2 | | Peter Braun,
Oscar Slotosch:
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator.
OMER 2001: 51-66 |
2000 |
1 | EE | Peter Braun,
Heiko Lötzbeyer,
Bernhard Schätz,
Oscar Slotosch:
Consistent Integration of Formal Methods.
TACAS 2000: 48-62 |