Biblio

Found 1 results

Filters: Author is Canedo, Arquimedes [Clear All Filters]

2019

Fan C, Mitra S. 2019. Data-Driven Safety Verification of Complex Cyber-Physical Systems. Design Automation of Cyber-Physical Systems. :107–142.