Modeling firmware as service functions and its application to test generation
Publication Year
2013
Type
Conference Paper
Conference Name
Haifa Verification Conference
Publisher
Springer International Publishing