@第{zbMATH06770896条，作者={Ahrendt、Wolfgang和Chimento、Jes的Mauricio和Pace、Gordon J.和Schneider、Gerardo，Title={结合静态和运行时验证来验证面向数据和控制的属性：理论和工具}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={51}，数字={1}，Pages＝{200-265}，年份={2017年}，语言={英语}，DOI={10.1007/s10703-017-0274-y}，关键词={68Q60,68N19,68N30}，zbMATH={6770896}，Zbl={1370.68195}}