Falsification of safety properties for closed loop control systems.
Conference Proceeding
Overview
publication date
- January 1, 2015
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Zutshi A; Sankaranarayanan S; Deshmukh JV; Kapinski J; Jin X
Full Editor List
- Girard A; Sankaranarayanan S
author count
- 5
Other Profiles
International Standard Book Number (ISBN) 13
- 978-1-4503-3433-4
Additional Document Info
start page
- 299
end page
- 300