登陆
注册
工具列表
Tool list
UPPAAL
2020-06-01
109
-
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded softw...
-
Real-Time SCADA Attack Detection by means of Formal Methods
SCADA control systems use programmable logic controller to interface with critical machines. SCADA s...
-
Timed Automata Networks for SCADA Attacks Real-Time Mitigation
SCADA systems are nowadays widespread in critical infrastructures, from oil pipelines to chemical ma...
