Understanding multidimensional verification: Where functional meets non-functional

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Xinhui Lai, Aneesh Balakrishnan, Thomas Lange, Maksim Jenihhin, Tara Ghasempouri, Jaan Raik, Dan Alexandrescu

Journal title: Microprocessors and Microsystems

Journal number: 71

Journal publisher: Elsevier BV

Published year: 2019

Published pages: 102867

DOI identifier: 10.1016/j.micpro.2019.102867

ISSN: 0141-9331