-
Recent Posts
- Call for Nominations: 2025 Jean-Claude Laprie Award
- WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security
- Two Papers Win the 2024 Jean Claude Laprie Award
- Call for Nominations: 2024 Jean-Claude Laprie Award
- Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award
-
Categories
Monthly Archives: June 2024
WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security
The IVDS project vision has been the realization of highly dependable and secure operation of intelligent vehicles, verified and validated with respect to strict dependability (particularly safety) and security requirements by rigorous state-of-the-art methods. The multi-year project concluded in Feb … Continue reading
Posted in WG10.4
Comments Off on WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security