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.
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
Titel
ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects
Alle Autoren
Ove AAkerlund; others
Jahr
2006