Skip to main content Skip to main navigation

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.

Projekte