Skip to content

Verification and validation: automated object-flow testing of dynamic process interaction models.

Levent Yilmaz

Year2001
ProceedingsWSC

Browse the full WSC paper archive.