Publications

Filtered as: all types - all years - all authors - keyword: Cyber-physical systems
Sorted by: keyword
Corresponding bibtex list 

Cyber-physical systems 

1. 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
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007