Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Peter Braun
    Last name: 0003
    DBLP: b/PeterBraun3
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 10  
    Select a publication
    Show Title Venue Rating Date
    Peter Braun 0003, Jan Philipps, Bernhard Schätz, Stefan Wagner.
    Model-Based Safety-Cases for Software-Intensive Systems.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 238 (0) 2009
    Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz.
    AutoMoDe - Model-Based Development of Automotive Software
    CoRR 2007, Volume 0 (0) 2007
    Andreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein.
    Das AutoMoDe-Projekt.
    Inform., Forsch. Entwickl. 2007, Volume 22 (0) 2007
    Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz.
    AutoMoDe - Model-Based Development of Automotive Software.
    2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany 2005 (0) 2005
    Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner.
    Checking and Transforming Models with AutoFOCUS.
    12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA 2005 (0) 2005
    Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner.
    Consistency in Model-Based Development.
    10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA 2003 (0) 2003
    Michael von der Beeck, Peter Braun 0003, Martin Rappl, Christian Schröder.
    Model Based Requirements Engineering for Embedded Software.
    10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany 2002 (0) 2002
    Peter Braun 0003, Oscar Slotosch.
    Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator.
    OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 OMER-2 May 28/29, 1999 May 10-12, 2001, Herrsching am Amersee, Germany 2001 (0) 2001
    Peter Braun 0003, Martin Rappl.
    A Model-Based Approach for Automotive Software Development.
    OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 OMER-2 May 28/29, 1999 May 10-12, 2001, Herrsching am Amersee, Germany 2001 (0) 2001
    Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch.
    Consistent Integration of Formal Methods.
    Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi 2000 (0) 2000

    Your query returned 10 matches in the database.