Prodotto multimediale, 2020, ENG
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.
4securail, Formal methods, Demonstrator, Sparx EA
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 links
OAI-PMH: Dublin Core
OAI-PMH: Mods
OAI-PMH: RDF
URL: https://zenodo.org/record/5141358/files/D2.2%20Sparx%20Video.mp4?download=1
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:456742