Skip to content

A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior.

Nisha Desai, Martin Gogolla

VenueAMODELS
Year2019
ProceedingsMoDELS (Companion)

Browse the full MODELS paper archive.