Showing 1 - 1 results of 1 for search 'Uwe Kastens', query time: 0.04s Refine Results
  1. 1
    Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
    by Stephanie Drzevitzky, Uwe Kastens, Marco Platzner
    Published 2010-01-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search