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
@misc{oai:it.cnr:prodotti:456743, title = {4SECURail D 2.2: Sparx EA artifacts and technical documentation}, author = {Basile D.}, year = {2020} }