Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL

Research output: Contribution to conferencePaper

Fingerprint

Dive into the research topics of 'Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL'. Together they form a unique fingerprint.

Computer Science