Afișare rezultate
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "description logic" 
| 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-213 |
    |
1-1 of 1
