Scalable and Optimized Hybrid Verification of Embedded Software
Behrend, Jörg, Lettnin, Djones, Grünhage, Alexander, Ruf, Jürgen, Kropf, Thomas, Rosenstiel, Wolfgang
Published in Journal of electronic testing (01.04.2015)
Published in Journal of electronic testing (01.04.2015)
Get full text
Journal Article
Interactive Loomis-Wood assignment programs
Winnewisser, Brenda P., Reinstädtler, Jürgen, Yamada, Koichi M.T., Behrend, Jörg
Published in Journal of molecular spectroscopy (01.07.1989)
Published in Journal of molecular spectroscopy (01.07.1989)
Get full text
Journal Article
Scalable hybrid verification for embedded software
Behrend, Jörg, Lettnin, D, Heckeler, P, Ruf, J, Kropf, T, Rosenstiel, W
Published in 2011 Design, Automation & Test in Europe (01.03.2011)
Published in 2011 Design, Automation & Test in Europe (01.03.2011)
Get full text
Conference Proceeding
Semiformal verification of temporal properties in automotive hardware dependent software
Lettnin, D., Nalla, P.K., Behrend, J., Ruf, J., Gerlach, J., Kropf, T., Rosenstiel, W., Schonknecht, V., Reitemeyer, S.
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Get full text
Conference Proceeding
AnomalousK-Type Doubling of HSSH
Yamada, Koichi M.T., Behrend, Jörg, Belov, S.P., Winnewisser, Gisbert
Published in Journal of molecular spectroscopy (01.04.1996)
Published in Journal of molecular spectroscopy (01.04.1996)
Get full text
Journal Article
Optimized hybrid verification of embedded software
Behrend, Jorg, Gruenhage, Alexander, Schroeder, Douglas, Lettnin, Djones, Ruf, Jurgen, Kropf, Thomas, Rosenstiel, Wolfgang
Published in 2014 15th Latin American Test Workshop - LATW (01.03.2014)
Published in 2014 15th Latin American Test Workshop - LATW (01.03.2014)
Get full text
Conference Proceeding