Login / Signup
On the correctness of upper layers of automotive systems.
Jewgenij Botaschanjan
Manfred Broy
Alexander Gruler
Alexander Harhurin
Steffen Knapp
Leonid Kof
Wolfgang J. Paul
Maria Spichkova
Published in:
Formal Aspects Comput. (2008)
Keyphrases
</>
complex systems
expert systems
learning systems
computer vision
management system
knowledge based systems
data sets
multi agent
video sequences
artificial neural networks
intelligent systems
computer systems
business processes