full record print

Understanding multidimensional verification : where functional meets non-functional

author
statement of authorship
Xinhui Lai, Aneesh Balakrishnan, Thomas Lange, Maksim Jenihhin, Tara Ghasempouri, Jaan Raik, Dan Alexandrescu
source
publisher
journal volume number month
vol. 71
year of publication
pages
art. 102867, 13 p. : ill
url
ISSN
0141-9331
notes
Bibliogr.: 86 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
Reserch Group
Centre for trustworthy and efficient computing hardware (TECH)
Centre of dependable computing systems
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