Publications
Filtered as:
all types
- all years
- all authors
- keyword:
Cyber-physical systems
Sorted by:
keyword - year
Corresponding
bibtex list
Cyber-physical systems
2017
- Tze-Meng Low and Franz Franchetti
High Assurance Code Generation for Cyber-Physical Systems
Proc. IEEE International Symposium on High Assurance Systems Engineering (HASE), 2017