Scalable and Optimized Hybrid Verification of Embedded Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. Scalable and Optimized Hybrid Verification of Embedded Software. J. Electronic Testing, 31(2):151-166, 2015. [doi]

This author has not been identified. Look up 'Jörg Behrend' in GoogleThis author has not been identified. Look up 'Djones Lettnin' in GoogleThis author has not been identified. Look up 'Alexander Grünhage' in GoogleThis author has not been identified. Look up 'Jürgen Ruf' in GoogleThis author has not been identified. Look up 'Thomas Kropf' in GoogleThis author has not been identified. Look up 'Wolfgang Rosenstiel' in Google

runs on WebDSL