Mind the gap Conferences

authors

• Askarpour, Mehrnoosh
• Menghi, Claudio
• Belli, Gabriele
• Bersani, Marcello M
• Pelliccione, Patrizio

status

• published 

publication date

• October 7, 2020

published in

• Proceedings of the 8th International Conference on Formal Methods in Software Engineering  Journal

presented at event

• FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering  Conference

keywords

• Computer Science
• Computer Science, Software Engineering
• Computer Science, Theory & Methods
• Formal Methods
• MOTION
• Model Checking
• Planning
• Robotics
• SPECIFICATIONS
• Science & Technology
• Technology
• Temporal Logic
• Timed Automaton
• Uppaal

Digital Object Identifier (DOI)

• 10.1145/3372020.3391561

start page

• 55

end page

• 65