Jan-Philipp Witte

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

High Level Specifications

Expressive Power

Schema Mappings

Top Venues

Publications

Alexander Finder, Jan-Philipp Witte, Görschwin Fey
Debugging HDL designs based on functional equivalences with high-level specifications. DDECS (2013)