2020
Software  Unknown

4SECURail D 2.2: Sparx EA artifacts and technical documentation

Basile D.

4securail  Sparx EA  Standard interface  Formal methods 

This is the model, generated source code, exported xmi model, and technical report of the Communication Supervision Layer of the UNISIG Subset 98 developed with Sparx Enterprise Architect for the Deliverable 2.2 of the 4SECURail project



Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:456743,
	title = {4SECURail D 2.2: Sparx EA artifacts and technical documentation},
	author = {Basile D.},
	year = {2020}
}
CNR ExploRA

Bibliographic record

Also available from

zenodo.org

4SECURAIL
FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR


OpenAIRE