Specification patterns for robotic missions

Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
January 2019
Type
Journal article
Publication
IEEE Transactions on Software Engineering (TSE)