Poster Abstract: Safety Analysis for UAV Networks Conference

Jakaria, AHM, Rahman, Mohammad Ashiqur. (2018). Poster Abstract: Safety Analysis for UAV Networks . 294-295. 10.1109/IoTDI.2018.00046

keywords

  • Collaborative UAV
  • Computer Science
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology
  • Telecommunications
  • UAV network
  • UAV swarm
  • formal modeling
  • safety verification

Location

  • Orlando, FL

Digital Object Identifier (DOI)

Conference

  • 3rd ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI)

publisher

  • IEEE COMPUTER SOC

start page

  • 294

end page

  • 295