2020
Software
Open Access
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 authorsLaboratories
0000-0002-7196-6609
