icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Stanley Bak (Air Force Research Laboratory)
Stanley Bak (Air Force Research Laboratory)
No Affiliation
All
Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability
October 1, 2016
•
Conference Paper
By
Stanley Bak (Air Force Research Laboratory)
,
Sagar Chaki