Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

Export

All authors

Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle

Booktitle

Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)

Abstract

To appear

Publishing date

01 / 2011

Type of Publication

inproceedings

Publisher

Springer

Series

LNCS

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals