Document - The UMC2LNT and UMC2PROB model transformation tools

2021

Software Unknown

The UMC2LNT and UMC2PROB model transformation tools

Mazzanti F., Belli D.

UMC ProB LNT Ada

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.

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:457145,
	title = {The UMC2LNT and UMC2PROB model transformation tools},
	author = {Mazzanti F. and Belli D.},
	doi = {10.5281/zenodo.5541350},
	year = {2021}
}