Software, 2021, ENG

Formal models of the SAI/CSL system of the 4SECURail case study

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

Keywords

Formal models, UMC, ProB, LNT, CADP, Signalling system

CNR authors

Belli Dimitri, Mazzanti Franco

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 457141

Year: 2021

Type: Software

Creation: 2021-09-30 12:25:21.000

Last update: 2021-10-27 12:10:32.000

External links

OAI-PMH: Dublin Core

OAI-PMH: Mods

OAI-PMH: RDF

URL: http://doi.org/10.5281/zenodo.5541307

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:457141