file.pdf (1.63 MB)
Download file

Architecture validation system using assertion descriptions : users manual

Download (1.63 MB)
journal contribution
posted on 14.02.2013, 00:00 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

14/02/2013

Usage metrics

Exports