机译:通过安全延迟约束自动重新制定规格
Univ Roma La Sapienza, Dipartimento Informat & Sistemist, I-00198 Rome, Italy;
modelling; reformulation; second-order logic; propositional satisfiability; constraint satisfaction problems; RELATIONAL EXPRESSIONS; LOCAL SEARCH; EQUIVALENCES; BREAKING; SAT;
机译:具有群延迟平坦度规范或相位约束的可变数字滤波器
机译:通过自动规范的知识获取开发安全可靠的信息系统的可靠性要求工程
机译:出院后检测延迟的微生物学结果:通过自动医疗信息学工具提高患者安全性
机译:通过安全延迟约束自动重新制定规格
机译:具有数字约束的软件规范的自动验证
机译:出院后检测延迟的微生物学结果:通过自动化的医学信息学工具提高患者安全性
机译:通过安全延迟约束自动重新制定规格