Buch, Englisch, 156 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 277 g
Reihe: Information Systems and Applications, incl. Internet/Web, and HCI
First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Buch, Englisch, 156 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 277 g
Reihe: Information Systems and Applications, incl. Internet/Web, and HCI
ISBN: 978-3-540-37677-4
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Grafikprogrammierung
- Technische Wissenschaften Verkehrstechnik | Transportgewerbe Fahrzeugtechnik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
Weitere Infos & Material
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform.- On the Fault Hypothesis for a Safety-Critical Real-Time System.- A Compositional Framework for Real-Time Guarantees.- Validation of Component and Service Federations in Automotive Software Applications.- Towards a Component Architecture for Hard Real Time Control Applications.- Adding Value to Automotive Models.- Automotive Software: A Challenge and Opportunity for Model-Based Software Development.- Software for Automotive Systems: Model-Integrated Computing.- Simulink Integration of Giotto/TDL.