C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Using run-time checking to provide safety and progress for distributed cyber-physical systems.
Stanley Bak
Fardin Abdi Taghi Abad
Zhenqi Huang
Marco Caccamo
Published in:
RTCSA (2013)
Keyphrases
</>
real time
computer systems
lightweight
social network analysis
computer networks
cyber physical systems
cyber physical