C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Secure-by-construction synthesis of cyber-physical systems.
Siyuan Liu
Ashutosh Trivedi
Xiang Yin
Majid Zamani
Published in:
Annu. Rev. Control. (2022)
Keyphrases
</>
cyber physical systems
cyber physical
cyber security
physical world
embedded systems
real time
data mining
data warehouse
human computer interaction