Login / Signup
Use of formal methods for building qualified code generator for safer automotive systems.
Nassima Izerrouken
Olivier Ssi Yan Kai
Marc Pantel
Xavier Thirioux
Published in:
EDCC-CARS (2010)
Keyphrases
</>
formal methods
safety critical
model checking
knowledge based systems
software engineering
formal specification
data mining
artificial intelligence
code generator
database
machine learning
data warehouse
computational intelligence
test cases
temporal logic
reactive systems