Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies.

Stefan Andrei Albert Mo Kim Cheng

Published in: SYNASC (2008)

Keyphrases

cyber physical systems
real time
cyber security
artificial intelligence
software engineering
high speed
control flow