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
ajakirja aastakäik number kuu
vol. 71
ilmumisaasta
leheküljed
art. 102867, 13 p. : ill
märksõna
võtmesõna
ISSN
0141-9331
märkused
Bibliogr.: 86 ref
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