Property specification patterns for robotic missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
January 2018
Type
Conference paper
Publication
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings