Showing results 1 to 1 of 1
SAT-based Bounded Software Model Checking for Embedded Software: A Case Study Kim, Yun-Ho; Kim, Moonzoo, Asian-Pacific Software Engineering Conference (APSEC), pp.55 - 62, Asian-Pacific Software Engineering Conference (APSEC), 2014-12-02 |
Discover