2021
Software
Open Access
Formal models of the SAI/CSL system of the 4SECURail case study
Mazzanti F, Belli D
Formal models UMC ProB LNT CADP Signalling system
Formal models of 4SECURAIL case study in the notation accepted by UMC, ProB, CADP/LNT
Metrics
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:457141,
title = {Formal models of the SAI/CSL system of the 4SECURail case study},
author = {Mazzanti F and Belli D},
doi = {10.5281/zenodo.5541307},
year = {2021}
}
0000-0003-1491-6450
