Publikationen im TC Dependable System Design

Nachfolgend finden Sie alle - nur zu diesem Technologiecluster gehörenden - Publikationen.

Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.

  Suche  UND ODER Erweiterte Suche
schließen
Alle 75 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Titel

Integrated tool-chain for improving traceability during the development of automotive systems

Buchtitel

Proceedings of the 2012 Embedded Real Time Software and Systems Conference

Alle Autoren

E. Armengaud and M. Biehl and Q. Bourrouilh and M. Breunig and S. Farfeleder and C. Hein and M. Oertel and A. Wallner and M. Zoier

Jahr

2012

Titel

Interoperable Requirements Engineering: Tool Independent Specification, Validation and Impact Analysis

Buchtitel

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Alle Autoren

Markus Oertel and Bernhard Josko

Jahr

2012

Titel

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

Buchtitel

Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)

Alle Autoren

Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle

Jahr

2011