Scalable hybrid verification for embedded software.

Jrg Behrend, Djones Lettnin, Patrick Heckeler, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Browse the full DATE paper archive.