Verification of Scenario-based Behavioural Models using Capella and PyNuSMV.

Simon Busard, Christophe Ponsard, Charles Pecheur

Browse the full MODELSWARD paper archive.