Verifying vehicle control systems by using process calculi.

Gabriel Ciobanu Armand Stefan Rotaru

Published in: Int. J. Ad Hoc Ubiquitous Comput. (2016)

Keyphrases

control system
real world
real time
information systems
multiscale
software engineering
process model
process control
vehicle speed