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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom