Scalable and Optimized Hybrid Verification of Embedded Software

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.