Skip to content

Semi-Formal Test Generation for a Block of Industrial DSP.

Julia Dushina, Mike Benjamin, Daniel Geist

Year2001
ProceedingsVTS

Browse the full VTS paper archive.