Data di Pubblicazione:
2020
Abstract:
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
Tipologia CRIS:
05.11 Software
Keywords:
4securail; Sparx EA; Standard interface; Formal methods
Elenco autori:
Basile, Davide
Link alla scheda completa: