Skip to main content

Hybrid system verification is not a sinecure — the electronic throttle control case study

Authors

Ansgar Fehnker and Bruce H. Krogh

NICTA

Abstract

BibTeX Entry

  @article{Fehnker_Krogh_06,
    author           = {Fehnker, Ansgar and Krogh, Bruce H.},
    number           = {4},
    month            = sep,
    year             = {2006},
    title            = {Hybrid System Verification Is not a Sinecure --- the Electronic Throttle Control Case Study},
    volume           = {17},
    pages            = {885--902},
    paperurl         = {https://ts.data61.csiro.au/publications/nicta_full_text/127.pdf}
  }

Download

Served by Apache on Linux on seL4.