Login / Signup
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