![](/img/cover-not-exists.png)
Automatic Generation of System Level Assertions from Transaction Level Models
Liu, Lingyi, Vasudevan, ShobhaVolume:
29
Language:
english
Journal:
Journal of Electronic Testing
DOI:
10.1007/s10836-013-5403-y
Date:
October, 2013
File:
PDF, 1.34 MB
english, 2013