Accidental actions values and combinations for key-elements checking

机译：关键元素检查的意外操作值和组合

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Viktar Tur; Andrei Tur; Aliaksandr Lizahub; Stanislav Derechennik;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Accidental actions values and combinations for key-elements checking [J] . Viktar Tur, Andrei Tur, Aliaksandr Lizahub, E3S Web of Conferences . 2020,第10期

机译：关键元素检查的意外操作值和组合
2. Three-valued bounded model checking with cause-guided abstraction refinement [J] . Timm Nils, Gruner Stefan Science of Computer Programming . 2019,第APRa15期

机译：具有原因指导的抽象细化的三值有界模型检查
3. Stromal reaction inhibitor and immune-checkpoint inhibitor combination therapy attenuates excluded-type colorectal cancer in a mouse model [J] . Yorita Naoki, Yuge Ryo, Takigawa Hidehiko, Cancer letters . 2021,第1期

机译：基质反应抑制剂和免疫检查点抑制剂联合治疗在小鼠模型中衰减排除型结肠直肠癌
4. A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information [C] . Jandson S. Ribeiro, Aline Andrade International conference on formal engineering methods . 2015

机译：三值收缩模型检验游戏：决定部分信息的世界
5. Checking validity of quantifier-free formulas in combinations of first-order theories. [D] . Barrett, Clark Wayne. 2003

机译：结合一阶理论检查无量词公式的有效性。
6. Comparing Nonsynergy Gamma Models and Interaction Models To Predict Growth of Emetic Bacillus cereus for Combinations of pH and Water Activity Values [O] . Elisabeth G. Biesta-Peters, Martine W. Reij, Marcel H. Zwietering, 2011

机译：比较非协同伽玛模型和相互作用模型以预测催产芽孢杆菌的pH和水活度值组合的生长
7. 2-Valued and 3-Valued Abstraction-Refinement in Model Checking [O] . Orna Grumberg 2010

机译：模型检查中的2值和3值抽象 - 细化

Accidental actions values and combinations for key-elements checking

著录项

引文网络

相似文献

相关主题

期刊订阅