Veritas - a versatile modeling environment for test-driven agile simulation.

Anatoli Djanatliev, Winfried Dulz, Reinhard German, Vitali Schneider

Browse the full WSC paper archive.