Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems Conference Proceeding
Overview
publication date
- April 18, 2017
Date in CU Experts
- February 1, 2018 9:10 AM
Full Author List
- Diwakaran RD; Sankaranarayanan S; Trivedi A
author count
- 3
citation count
- 12
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 2375-8317
Digital Object Identifier (DOI)
Additional Document Info
start page
- 109
end page
- 119