Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Unbounded−time reachability analysis of hybrid systems by abstract acceleration

Unbounded−time reachability analysis of hybrid systems by abstract acceleration

Peter Schrammel

Book Title
Embedded Software‚ EMSOFT 2015
Pages
51–54
Publisher
IEEE
Year
2015

Links

See Also

Back to Top