Prodotto multimediale, 2020, ENG

4SECURail video presentation of Sparx EA and demonstrator of formal methods

Basile D.

CNR-ISTI, Pisa, Italy

The formal methods demonstrator of Deliverable 2.2 comprises also a video presentation of the tools and artifacts developed during the project, this is the Sparx EA video.

Keywords

4securail, Formal methods, Demonstrator, Sparx EA

CNR authors

Basile Davide

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 456742

Year: 2020

Type: Prodotto multimediale

Creation: 2021-09-16 15:12:48.000

Last update: 2021-09-16 16:00:04.000

CNR authors

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:456742