Login / Signup
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
Jin Hyun Kim
Kim G. Larsen
Brian Nielsen
Marius Mikucionis
Petur Olsen
Published in:
FMICS (2015)
Keyphrases
</>
formal analysis
formal methods
real time
safety critical
model checking
model checker
building blocks
learning systems
low cost
distributed systems
telecommunication systems
software components
real time systems
ban logic
lightweight
knowledge based systems
knowledge acquisition
knowledge base