Analyzing Security Aspects of Software Architectures
As the consequences of cyber attacks are becoming increasingly severe, ensuring the security of safety critical embedded software has become a necessity.
Static Analysis
Analyzing Security Aspects of Software Architectures
Embedded World Conference 2022, Nuremberg, Germany
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Ensuring reliability and quality of software has become a necessity.
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Embedded World Conference 2020, virtual