首页> 外文OA文献 >Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers

【2h】

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers

机译：学习模型检查难题，用于编程难题的模型检查难题，用于测试模型检查器的难题

代理获取

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

页面导航

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

著录项

作者
N. V. Shilov; K. Yi;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems [J] . Ravie Chandren Muniyandi, Abdullah Mohd. Zin, Zarina Shukor Journal of computer sciences . 2010,第7期

机译：通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
2. Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems | Science Publications [J] . Abdullah M. Zin, Ravie c. Muniyandi, Zarina Shukor Journal of computer sciences . 2010,第7期

机译：使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
3. Repeated exposure to exemplars does not enhance implicit learning: A puzzle for models of learning and memory [J] . The quarterly journal of experimental psychology: QJEP . 2020,第3期

机译：重复接触样品局不会增强隐式学习：用于学习和记忆模型的难题
4. Puzzles for learning real-time model checking [C] . Mitchell L. Neilsen International Conference on Frontiers in Education: Computer Science and Computer Engineering . 2018

机译：学习实时模型检查的谜题
5. Using model checkers for automatic generation of VHDL test case with improved test coverage. [D] . Sankarasetty, Esa Sragvi. 2012

机译：使用模型检查器自动生成具有改进的测试覆盖范围的VHDL测试用例。
6. Resistance Development: A Major Piece in the Jigsaw Puzzle of Tumor Size Modeling [O] . N Terranova, P Girard, U Klinkhardt, 2015

机译：耐药性发展：肿瘤大小建模的拼图游戏的主要部分。
7. Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers [O] . Shilov N.V., Yi K. 2001

机译：学习模型检查难题，用于编程难题的模型检查难题，用于测试模型检查器的难题

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers

著录项

引文网络

相似文献

相关主题

期刊订阅