Login / Signup
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.
Matthias Gehrke
Martin Hirsch
Wilhelm Schäfer
Oliver Niggemann
Dirk Stichling
Ulrich Nickel
Published in:
MBEES (2007)
Keyphrases
</>
software systems
software development
software platform
software maintenance
software tools
software engineering
computer systems
decision making
artificial intelligence
analysis tool
website
open source
source code
real time
data processing
personal computer
real world
simulation environment
neural network