[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - PsALM: Specification of Dependable Robotic Missions
Menghi, Claudio, Tsigkanos, Christos, Berger, Thorsten, Pelliccione, PatrizioYear:
2019
Language:
english
DOI:
10.1109/ICSE-Companion.2019.00048
File:
PDF, 167 KB
english, 2019