Publikation

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.

Abstrakt

o.A.

Projekte

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence