2021
Software
Unknown
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
