Model checking for fault explanation Conference

Jiang, Shengbing, Fuhrman, Thomas E, Jha, Sumit K. (2006). Model checking for fault explanation . 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 405-+.

Industry Collaboration

cited authors

  • Jiang, Shengbing; Fuhrman, Thomas E; Jha, Sumit K

authors

date/time interval

  • December 13, 2006 -

publication date

  • January 1, 2006

published in

keywords

  • Automation & Control Systems
  • Engineering
  • Engineering, Electrical & Electronic
  • Operations Research & Management Science
  • Science & Technology
  • Technology

Location

  • CA, San Diego

International Standard Book Number (ISBN) 13

Conference

  • 45th IEEE Conference on Decision and Control

publisher

  • IEEE

start page

  • 405

end page

  • +