Model checking for fault explanation Conference

Jiang, Shengbing, Fuhrman, Thomas E, Jha, Sumit K. (2006). Model checking for fault explanation . Proceedings of the IEEE Conference on Decision and Control, 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

International Standard Book Number (ISBN) 13

start page

  • 405

end page

  • +