Allan Crone, Oliver Bringmann, C. Chevallaz, B. Dickman, Volkan Esen, M. Rohleder. State of the art verification methodologies in 2015. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 1339, IEEE, 2011. [doi]
Abstract is missing.