Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture Conference Proceeding
Overview
publication date
- September 22, 2019
has restriction
- green
Date in CU Experts
- January 31, 2020 7:57 AM
Full Author List
- Eiras F; Lahijanian M; Kwiatkowska M
author count
- 3