Login / Signup
Safety and Security Interference Analysis in the Design Stage.
Jabier Martinez
Jean Godot
Alejandra Ruiz
Abel Balbis
Ricardo Ruiz Nolasco
Published in:
SAFECOMP Workshops (2020)
Keyphrases
</>
statistical analysis
real time
decision making
access control
intrusion detection
information security
quantitative analysis
formal analysis