Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL.

Eun-Young Kang Liu Ke Meng-Zhe Hua Yu-Xuan Wang

Published in: APSEC (2015)

Keyphrases

management system
distributed systems
model checking
real time
computer systems
complex systems
neural network
computing systems
data sets
artificial intelligence
mobile robot
description language
human computer interface