Understanding Bounding Functions in Safety-Critical UAV Software.

Xiaozhou Liang John Henry Burns Joseph Sanchez Karthik Dantu Lukasz Ziarek Yu David Liu

Published in: ICSE (2021)

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
safety analysis
agent architecture
nuclear power plant
support systems
software systems
regulatory requirements
multi agent systems
adaptive systems
software intensive systems
object oriented
medical images