مؤتمر
Engineering Approaches and Methods to Verify Software in Autonomous Systems
| العنوان: | Engineering Approaches and Methods to Verify Software in Autonomous Systems |
|---|---|
| المؤلفون: | Cicala G, Khalili A, Metta G, Natale L, Pathak S, PULINA, Luca, Tacchella A. |
| المساهمون: | Cicala, G, Khalili, A, Metta, G, Natale, L, Pathak, S, Pulina, Luca, Tacchella, A. |
| بيانات النشر: | Springer BERLIN |
| سنة النشر: | 2016 |
| نوع الوثيقة: | conference object |
| اللغة: | English |
| العلاقة: | info:eu-repo/semantics/altIdentifier/wos/WOS:000377956900121; ispartofbook:13th International Conference on Intelligent Autonomous Systems; The 13th International Conference on Intelligent Autonomous Systems; journal:ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING; http://hdl.handle.net/11388/71831Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84945924703 |
| الإتاحة: | http://hdl.handle.net/11388/71831Test |
| رقم الانضمام: | edsbas.9464B970 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |