Engineering Approaches and Methods to Verify Software in Autonomous Systems.
Autor: | Cicala, G., Khalili, A., Metta, G., Natale, L., Pathak, S., Pulina, L., Tacchella, A. |
---|---|
Zdroj: | Neuroenhancement: How Mental Training & Meditation can Promote Epistemic Virtue; 2016, p1683-1700, 18p |
Databáze: | Complementary Index |
Externí odkaz: |