Skip to content

Formal Security Verification of Industry 4.0 Applications.

Vivek Nigam, Carolyn L. Talcott

VenueCETFA
Year2019
ProceedingsETFA

Browse the full ETFA paper archive.