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

2020

Other Metadata Only Access

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

Cite as

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}
}