A verification-driven framework for iterative design of controllers

Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
January 2019
Type
Journal article
Publication
Formal Aspects of Computing