Open AccessHardware/Software Interface Assurance with Conformance Checking
Author(s) -
Lei Li
Publication year - 2000
Language(s) - English
Resource type - Reports
DOI - 10.15760/etd.2320
Subject(s) - computer science , interface (matter) , embedded system , software deployment , software , model checking , conformance testing , process (computing) , reliability (semiconductor) , operating system , standardization , programming language , power (physics) , physics , bubble , quantum mechanics , maximum bubble pressure method