Afișare rezultate
A formal approach for identifying assurance deficits in unmanned aerial vehicle software |
Groza Adrian1, Letia Ioan Alfred1, Goron Anca1, Zaporojan Sergiu2 |
1 Technical University of Cluj-Napoca, 2 Technical University of Moldova |
Advances in Intelligent Systems and Computing |
Vol. 1089. 2015. Las Vegas. ISSN 21945357. |
Disponibil online 18 April, 2023. Descarcări-0. Vizualizări-209 |
1-1 of 1