@第{zbMATH07130961条，作者={Menghi，Claudio and Spoletini，Paola and Chechik，Marsha and Ghezzi，Carlo}，标题＝{控制器迭代设计的验证驱动框架}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={31}，数字={5}，页码={459--502}，年份={2019}，语言={英语}，DOI={10.1007/s00165-019-00484-1}，关键词={68Q60,03B44,68N99,68Q45}，zbMATH={7130961}，Zbl=｛1425.68262｝}