Claudio Menghi
Claudio Menghi
Home
Research Philosophy
Tools
Publications
Contact
CV
Light
Dark
Automatic
PsALM: specification of dependable robotic missions
Claudio Menghi
,
Christos Tsigkanos
,
Thorsten Berger
,
Patrizio Pelliccione
January 2019
Cite
Type
Conference paper
Publication
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Cite
×