Formal verification of platoon control strategies

Adnan Rashid, Umair Siddique, Osman Hasan
January 2018
PDF
Type
Conference paper
Publication
International Conference on Software Engineering and Formal Methods