Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules.

Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth

Browse the full MODELSWARD paper archive.