Timing Correctness and Model-Based Software Development for Safety-Critical Automotive Applications: An Integrated, Tool-Supported Workflow
Beitrag zu einer Konferenz
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
Automotive Safety & Security 2008. - Suttgart : ETAS, 2008
Conference
Automotive 2008 Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2008-11-19 - 2008-11-20, Stuttgart