Engineering Approaches and Methods to Verify Software in Autonomous Systems
Contributo in Atti di convegno
Data di Pubblicazione:
2016
Citazione:
Engineering Approaches and Methods to Verify Software in Autonomous Systems / Cicala, G., Khalili, A., Metta, G., Natale, L., Pathak, S., Pulina, L., Tacchella, A.. - (2016). (The 13th International Conference on Intelligent Autonomous Systems ).
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Cicala, G; Khalili, A; Metta, G; Natale, L; Pathak, S; Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Titolo del libro:
13th International Conference on Intelligent Autonomous Systems
Pubblicato in: