Skip to content

An automated technique to support the verification and validation of simulation models.

Samuel K. Klock, Peter Kemper

VenueADSN
Year2010
ProceedingsDSN

Browse the full DSN paper archive.