Systematic Application of UCIS to Improve the Automation on Verification Closure

Author(s):
Christoph Kuznik, Marcio F. S. Oliveira, Gilles Bertrand Defo, and Wolfgang Mueller
Location:
United States
Year:
2013
Type:
Paper
Format:
pdf