Project title
智慧型汽車之相容性
Internal ID
112-2221-E-002-168-MY3
Principal Investigator
Start Date
August 1, 2023
End Date
July 31, 2024
Organizations
Partner Organizations
智慧型汽車之相容性
Keywords
智慧型汽車;相容性;正規驗證;需求工程;運行監控;線道變換系統;智慧型路口管理;軟體更新;任務配置。;Intelligent Vehicles; Compatibility; Formal Verification; Requirements Engineering; Runtime Monitoring; Lane-Changing Systems; Intelligent Intersection Management; Software Update; Task Allocation.