View of Enhanced Cyber-Physical System Security: A Model Checking Approach Using UPPAAL for OT-Specific Applications

Return to Article Details Enhanced Cyber-Physical System Security: A Model Checking Approach Using UPPAAL for OT-Specific Applications Download Download PDF