Carnegie Mellon University
Browse
- No file added yet -

Architecture validation system using assertion descriptions : users manual

Download (1.63 MB)
journal contribution
posted on 2013-02-14, 00:00 authored by Charles P. Kollar
Computer Science Department

History

Publisher Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-36694-9_16

Date

2013-02-14

Usage metrics

    Categories

    Keywords

    Computer architecture.Computer programs Verification.

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC