Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems.

Kyoung-Soo We Seunggon Kim Wonseok Lee Chang-Gun Lee

Published in: RTSS (2017)

Keyphrases

computer systems
learning algorithm
information systems
decision making
management system
complex systems
computing systems
machine learning
expert systems
software engineering
intelligent systems
mathematical models
cyber security
simulation tools