Florian Friedemann

Publication Activity (10 Years)

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

Publications

Paula Herber, Florian Friedemann, Sabine Glesner
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS (2009)