Mazzanti F.; Belli D.
CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy
Formal models of 4SECURAIL case study in the notation accepted by UMC, ProB, CADP/LNT
Formal models, UMC, ProB, LNT, CADP, Signalling system
Belli Dimitri, Mazzanti Franco
ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"
CNR authors
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:457141