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
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1
end page
- 7