Data di Pubblicazione:
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.
Tipologia CRIS:
05.11 Software
Keywords:
UMC; ProB; LNT; Ada
Elenco autori:
Belli, Dimitri; Mazzanti, Franco
Link alla scheda completa: