Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4922)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): ASWSD: Automotive Software Workshop
Conference proceedings info: ASWSD 2006.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (11 papers)
-
Front Matter
-
Modeling Techniques and Infrastructures
-
Services and Components
-
Back Matter
About this book
Keywords
- ad-hoc networking
- automotive hardware
- automotive software
- behavior preservation
- bisimulation
- error detection
- formalized quality assurance
- intelligent interfaces
- mobile networking
- model
- model description langu
- modeling
- quality assurance
- structured analysis
- structured design
Bibliographic Information
Book Title: Model-Driven Development of Reliable Automotive Services
Book Subtitle: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Editors: Manfred Broy, Ingolf H. Krüger, Michael Meisinger
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-70930-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-70929-9Published: 14 July 2008
eBook ISBN: 978-3-540-70930-5Published: 17 July 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 183
Topics: Computer Communication Networks, Software Engineering, Programming Techniques, Special Purpose and Application-Based Systems, Theory of Computation