Assurance Provenance: The Next Challenge in Software Documentation

von Karsai, Gabor
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

Towards Model-Based Intent-Driven Adaptive Software

von Balasubramanian, Daniel
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge

von Canady, Robert
Veröffentlicht in DDDAS (4. : 2022 : Cambridge, Mass.) Dynamic data driven applications systems (2024)