täiskirje prindi

Understanding multidimensional verification : where functional meets non-functional

autor
vastutusandmed
Xinhui Lai, Aneesh Balakrishnan, Thomas Lange, Maksim Jenihhin, Tara Ghasempouri, Jaan Raik, Dan Alexandrescu
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 71
ilmumisaasta
leheküljed
art. 102867, 13 p. : ill
leitav
ISSN
0141-9331
märkused
Bibliogr.: 86 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
Uurimisrühm
Töökindla arvutusriistvara keskus (TARK)
Usaldusväärsete arvutisüsteemide keskus
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