State space exploration using feedback constraint generation and Monte-Carlo sampling.
Conference Proceeding
Overview
publication date
- January 1, 2007
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Sankaranarayanan S; Chang RM; Jiang G; Ivancic F
Full Editor List
- Crnkovic I; Bertolino A
author count
- 4
Other Profiles
International Standard Book Number (ISBN) 13
- 978-1-59593-811-4
Additional Document Info
start page
- 321
end page
- 330