Merkliste 
 1 Ergebnisse 
 
1

Integration of Formal Specification and Traffic Simulation ..:

, In: 2023 IEEE International Conference on Mobility, Operations, Services and Technologies (MOST),
Goss, Quentin ; Akbas, Mustafa Ilhan - p. 213-222 , 2023