Scalable and Optimized Hybrid Verification of Embedded Software
Behrend, Jörg, Lettnin, Djones, Grünhage, Alexander, Ruf, Jürgen, Kropf, Thomas, Rosenstiel, WolfgangТом:
31
Мова:
english
Журнал:
Journal of Electronic Testing
DOI:
10.1007/s10836-015-5518-4
Date:
April, 2015
Файл:
PDF, 809 KB
english, 2015