C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Certia: Certifying Interface Automata for Cyber-Physical Systems.
Cong Sun
Qingsong Yao
Jianfeng Ma
Published in:
SMARTCOMP (2017)
Keyphrases
</>
cyber physical systems
cyber physical
physical world
cyber security
user interface
embedded systems
artificial intelligence
social networks
critical infrastructure