A model based design framework for safety verification of a semi-autonomous inspection drone
2019 ◽
Vol 58
(27)
◽
pp. 12097-12115
◽
Keyword(s):
2017 ◽
Vol 25
(0)
◽
pp. 797-810
◽
Keyword(s):
Keyword(s):
2018 ◽
Vol 97
(1-4)
◽
pp. 519-528
◽
2013 ◽
Vol 79
(807)
◽
pp. 4061-4074