Welcome: An introduction to VALU3S
The media and other interested parties is invited to a presentation of the project.
Recent blog posts
Threat Modelling and Risk Management with THREATGET
Verification, Validation, Security, Privacy and Safety! Sister terms all meet under the umbrella concept: Trusted Digital Twin of cyber-physical systems
Formally Verifying Autonomous Systems
Verification and validation methods for industrial robots
Cyber-Physical Systems – Addressing Safety and Security Aspects in the Presence of Runtime Monitors