Cited By
View all- Gibaut WGudwin R(2025)Building a Cognitive Twin using a distributed cognitive system and an evolution strategyCognitive Systems Research10.1016/j.cogsys.2025.10132690(101326)Online publication date: Apr-2025
- Paardekooper JBorth M(2024)Toward a Methodology for the Verification and Validation of AI-Based SystemsSAE International Journal of Connected and Automated Vehicles10.4271/12-08-01-00068:1Online publication date: 27-Jul-2024
- Broy M(2024)A Calculus for the Specification, Design, and Verification of Distributed Concurrent SystemsFormal Aspects of Computing10.1145/367208536:3(1-54)Online publication date: 17-Jun-2024
- Show More Cited By