Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel. Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. In Christine Choppy, Jun Sun 0001, editors, 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. Volume 31 of OASICS, pages 86-91, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.