Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione. PsALM: specification of dependable robotic missions. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 99-102, IEEE / ACM, 2019. [doi]
@inproceedings{MenghiTBP19, title = {PsALM: specification of dependable robotic missions}, author = {Claudio Menghi and Christos Tsigkanos and Thorsten Berger and Patrizio Pelliccione}, year = {2019}, url = {https://dl.acm.org/citation.cfm?id=3339713}, researchr = {https://researchr.org/publication/MenghiTBP19}, cites = {0}, citedby = {0}, pages = {99-102}, booktitle = {Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019}, editor = {Gunter Mussbacher and Joanne M. Atlee and Tevfik Bultan}, publisher = {IEEE / ACM}, }