Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

4SECURail D 2.2: Sparx EA artifacts and technical documentation

Software
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:
Basile, Davide
Authors of the University:
BASILE DAVIDE
Handle:
https://iris.cnr.it/handle/20.500.14243/399689
Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/399689/125923/prod_456743-doc_176891.zip
https://iris.cnr.it//retrieve/handle/20.500.14243/399689/125925/prod_456743-doc_176893.xml
https://iris.cnr.it//retrieve/handle/20.500.14243/399689/125928/prod_456743-doc_176894.docx
  • Overview

Overview

URL

https://zenodo.org/record/5141358#.YUNDdZ0za8A
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)