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
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
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