This documents contains the source code of two trasformation tools used in the 4SECURail project. The tools umc2lnt takes as argument the name of a file contining an UMC model and generates the corresponding CADP/LNT model.
The UMC2LNT and UMC2PROB model transformation tools
Mazzanti F;Belli D
2021
Abstract
This documents contains the source code of two trasformation tools used in the 4SECURail project. The tools umc2lnt takes as argument the name of a file contining an UMC model and generates the corresponding CADP/LNT model.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_457145-doc_177268.zip
accesso aperto
Descrizione: The UMC2LNT and UMC2PROB model transformation tools
Dimensione
2.87 MB
Formato
Unknown
|
2.87 MB | Unknown | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
