Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Atif Manzoor
A Formal Approach to Autonomous Vehicle Coordination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Verification of a Vehicle-To-Vehicle (V2V) Messaging System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Autonomous Underwater Vehicle „ABYSS“
Journal of large-scale research facilities JLSRF
A Formal Approach to Curriculum Theory Analysis
Marilyn Zurmuehlen Working Papers in Art Education
Autonomous Underwater Vehicle Navigation
Autonomous Underwater Vehicle Systems
Broadband Vehicle-To-Vehicle Communication Using an Extended Autonomous Cruise Control Sensor
Measurement Science and Technology
Instrumentation
Engineering
Applied Mathematics
A Formal Approach to Analyzing Cyber-Forensics Evidence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Autonomous Underwater Vehicle Robust Control
The International Conference on Electrical Engineering
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
