Skip to content

Applying Behavioural Level Test Generation to High-Level Design Validation.

Matthias Gulbins, Bernd Straube

VenueADATE
Year1996
ProceedingsED&TC

Browse the full DATE paper archive.