Skip to content

Parametric verification to ensure safe behaviour of connected devices.

Mathias Ramparison

Year2024
ProceedingsEUSPN/ICTH

Browse the full EUSPN paper archive.