Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
Model checking for fault explanation
Conference
Jiang, Shengbing, Fuhrman, Thomas E, Jha, Sumit K. (2006). Model checking for fault explanation .
405-+.
Share this citation
Twitter
Email
Jiang, Shengbing, Fuhrman, Thomas E, Jha, Sumit K. (2006). Model checking for fault explanation .
405-+.
Copy Citation
Share
Open Access
Industry Collaboration
Overview
Research
Location
Identifiers
Additional Document Info
View All
Overview
cited authors
Jiang, Shengbing; Fuhrman, Thomas E; Jha, Sumit K
authors
Jha, Sumit Kumar
date/time interval
December 13, 2006 -
publication date
January 1, 2006
Research
keywords
Automation & Control Systems
Engineering
Engineering, Electrical & Electronic
Operations Research & Management Science
Science & Technology
Technology
Location
Location
CA, San Diego
Identifiers
International Standard Book Number (ISBN) 13
978-1-4244-0170-3
Additional Document Info
Conference
45th IEEE Conference on Decision and Control
publisher
IEEE
start page
405
end page
+