Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations
- Award ID(s):
- 2038960
- PAR ID:
- 10563539
- Publisher / Repository:
- IEEE
- Date Published:
- ISBN:
- 979-8-3503-6927-4
- Page Range / eLocation ID:
- 99 to 110
- Format(s):
- Medium: X
- Location:
- Hong Kong, Hong Kong
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found
An official website of the United States government

