Sign in
An efficient approach for verifying automobile distributed application systems on timing property.
Haitao Zhang
Guoqiang Li
Xiaohong Li
Zhuo Cheng
Jinyun Xue
Shaoying Liu
Published in:
ICSE (Companion Volume) (2018)
Keyphrases
</>
distributed systems
expert systems
computer systems
management system
intelligent systems
open systems
distributed environment
computing environments
distributed object
complex systems
autonomous mobile
database
neural network
multi agent
lightweight
application level