Scopus Author ID
Publicaţii peste hotare - 1.
-----------------------------------------------------------------------------------------------------------------------------------
-----------------------------------------------------------------------------------------------------------------------------------
Publicaţii peste hotare - 1.
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-205 |
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 2015 |
Dusseldorf, Germania: Springer Verlag, 2015. ISSN 2194-5357; E-ISSN:2194-5365. |
Disponibil online 4 April, 2024. Descarcări-0. Vizualizări-45 |