We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).
The Variability Model Checker VMC.
Ter Beek M H
2012
Abstract
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_215297-doc_49831.pdf
solo utenti autorizzati
Descrizione: The Variability Model Checker VMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.11 MB
Formato
Adobe PDF
|
2.11 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
