Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
Research article (Sensors, 2024) · cited 12× · AI/ML