Publication
Validating ESL Implementations Against Their Formal Specifications
Jannis Ulrich Stoppe; Robert Wille; Rolf Drechsler
In: Symposium on Integrated Circuits and Systems Design - Proceedings. Symposium on Integrated Circuits and Systems Design (SBCCI-14), 27th, September 1-5, Aracaju, Brazil, 2014.
Abstract
o.A.