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

Yakoub Nemouchi, Sriharsha Etigowni, Alexander Zolan, Richard Macwan

Research output: Contribution to conference › Paper

Fingerprint

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

Computer Science