Poster Abstract: Safety Analysis for UAV Networks.

A. H. M. Jakaria Mohammad Ashiqur Rahman

Published in: IoTDI (2018)

Keyphrases

safety analysis
control system
nuclear power plant
safety critical
symbolic model checking
fault model
path planning
real time
user interface