Formal Verification of Design Properties of Hardware Architectures.

    Research output: Contribution to conferencePosterResearchpeer-review

    Original languageEnglish
    Publication date2008
    Publication statusPublished - 2008
    Event2008 Design, Automation and Test in Europe - Munich, Germany
    Duration: 10 Mar 200814 Mar 2008
    http://www.informatik.uni-trier.de/~ley/db/conf/date/date2008.html

    Conference

    Conference2008 Design, Automation and Test in Europe
    CountryGermany
    CityMunich
    Period10/03/200814/03/2008
    Internet address

    Cite this

    Brekling, A. W., Hansen, M. R., & Madsen, J. (2008). Formal Verification of Design Properties of Hardware Architectures.. Poster session presented at 2008 Design, Automation and Test in Europe, Munich, Germany.