Understanding multidimensional verification : where functional meets non-functional

vastutusandmed
Xinhui Lai, Aneesh Balakrishnan, Thomas Lange, Maksim Jenihhin, Tara Ghasempouri, Jaan Raik, Dan Alexandrescu
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 71
ilmumisaasta
leheküljed
art. 102867, 13 p. : ill
ISSN
0141-9331
märkused
Bibliogr.: 86 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
Lai, X., Balakrishnan, A., Lange, T., Jenihhin, M., Ghasempouri, T., Raik, J., Alexandrescu, D. Understanding multidimensional verification : where functional meets non-functional // Microprocessors and microsystems (2019) vol. 71, art. 102867, 13 p. : ill. https://doi.org/10.1016/j.micpro.2019.102867