Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
On the correctness of upper layers of automotive systems

Article

Journal:Formal Aspects of Computing
Author:Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang Paul and Maria Spichkova
Volume:20
Number:6
Pages:637-662
Month:dec
Note:ISSN 0934-5043 (Print) 1433-299X (Online)
Year:2008
Link:http://www.springerlink.com/content/t0w6u47r231r2j43
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact