VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions - Sieh, Volkmar; et al. (Proc. 27th Symposium on Fault Tolerant Computing (FTCS-27), 1997)
UnivIS-Import:2015-04-16:Pub.1997.tech.IMMD.IMMD3.verify