Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / [electronic resource] :
edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4922 0302-9743 ; .
9783540709305
Computer science Software engineering Logic design Computer simulation Computer Science Special Purpose and Application-Based Systems Software Engineering Computation by Abstract Devices Logics and Meanings of Programs Simulation and Modeling