Lucas Cordeiro, Bernd Fischer 0002, Huan Chen 0001, João Marques-Silva. Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha, editors, International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. pages 396-403, IEEE, 2009. [doi]
Abstract is missing.