Publication Date:
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
Iris type:
05.11 Software
Keywords:
4securail; Sparx EA; Standard interface; Formal methods
List of contributors: