Skip to content

The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications).

Armand Puccetti

VenueCDSD
Year2019
ProceedingsDSD

Browse the full DSD paper archive.