Fingerprint Dive into the research topics of 'Using run-time checking to provide safety and progress for distributed cyber-physical systems'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Using run-time checking to provide safety and progress for distributed cyber-physical systems
Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo
Research output: Contribution to conference › Paper › peer-review