S4x22·30 min
Examines PLC EDR: Model Checking Of Logic and evaluates key implications for security practitioners.
model-checkingchecking-logicmodel+2
model-checking
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…
1 talk tagged with this topic.
Loading filters…
1–1 of 1 talk · loading…
S4x22·30 min
Examines PLC EDR: Model Checking Of Logic and evaluates key implications for security practitioners.