Verification of Scenario-based Behavioural Models using Capella and PyNuSMV

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0010346103370343 ◽

2021 ◽

Author(s):

Simon Busard ◽

Christophe Ponsard ◽

Charles Pecheur

Download Full-text