An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies

von Chen, Wei
Veröffentlicht in IC3K (10. : 2018 : Sevilla) Knowledge discovery, knowledge engineering and knowledge management (2020)

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPWE 2005 and International Workshop on Web Services and Formal Method...

Veröffentlicht 2005