Dependable Evolvable Pervasive Software Engineering, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy;
机译:功能满足场景:基于场景的建模和一致性检查产品线规格
机译:检查时间受限的基于场景的规范的符合性
机译:模型检查时间受限的基于场景的规范
机译:高效的基于场景的产品线规范检查
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:当心(令人惊讶地是常见的)MRI数据中的左右翻转:使用AFNI检查MRI数据集一致性的一种有效且鲁棒的方法
机译:模型检查基于时间约束的基于场景的规范
机译:需求规范的自动一致性检查。