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-208

-----------------------------------------------------------------------------------------------------------------------------------

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

Revista Didactica Pro…, revistă de teorie şi practică educaţională

Nr. 4(4) / 2000 / ISSN 1810-6455

Disponibil online 4 April, 2024. Descarcări-0. Vizualizări-53

-----------------------------------------------------------------------------------------------------------------------------------

10203040501005001000