Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata Conference

Jha, Sumit Kumar, Jha, Susmit. (2008). Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata . 147-+. 10.1109/HASE.2008.38

cited authors

  • Jha, Sumit Kumar; Jha, Susmit

authors

date/time interval

  • December 3, 2008 -

publication date

  • January 1, 2008

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • SYSTEMS
  • Science & Technology
  • Technology

Location

  • PEOPLES R CHINA, Nanjing

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

Conference

  • 11th IEEE High Assurance Systems Engineering Symposium

publisher

  • IEEE COMPUTER SOC

start page

  • 147

end page

  • +