A verification-driven framework for iterative design of controllers

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi

Journal title: Formal Aspects of Computing

Journal number: 31/5

Journal publisher: Springer Verlag

Published year: 2019

Published pages: 459-502

DOI identifier: 10.1007/s00165-019-00484-1

ISSN: 0934-5043