Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
Formal verification of platoon control strategies
Adnan Rashid
,
Umair Siddique
,
Osman Hasan
January 2018
PDF
Cite
Type
Conference paper
Publication
International Conference on Software Engineering and Formal Methods
Cite
×