2020
Other
Unknown
4SECURail video presentation of Sparx EA and demonstrator of formal methods
Basile D.
4securail Formal methods Demonstrator Sparx EA
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.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:456742,
title = {4SECURail video presentation of Sparx EA and demonstrator of formal methods},
author = {Basile D.},
year = {2020}
}CNR authorsLaboratories
0000-0002-7196-6609
