Francisco Mendoza, Philipp Nenninger, Markus Ruppert, Jürgen Becker. Scalable Problem-Oriented Approach for Dynamic Verification of Embedded Systems. In Klaus Schilling, Florian Leutert, editors, 1st Conference on Embedded Systems, Computational Intelligence and Telematics in Control, CESCIT 2012, Würzburg, Germany, April 03-05, 2012. pages 224-229, International Federation of Automatic Control, 2012. [doi]
Abstract is missing.