file.pdf (1.63 MB)

Architecture validation system using assertion descriptions : users manual

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

Information and Computing Sciences not elsewhere classified

Keywords

Computer architecture.Computer programs Verification.

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC