VESSEDIA: Verification Engineering of Safety and Security Critical Industrial Applications Context of the project
Origin : Files produced by the author(s)