首页> 外文OA文献 >Extension of the SLIM Model Checker to a Real-time Model Checker using the Explicit-time Method

【2h】

Extension of the SLIM Model Checker to a Real-time Model Checker using the Explicit-time Method

机译：使用显式时间方法将SLIM模型检查器扩展为实时模型检查器

代理获取

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

页面导航

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

著录项

作者
清水涼子;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modeling Distributed Real-time Elevator System by Three Model Checkers [J] . Qian Zhongsheng, Li Xin, Wang Xiaojin International journal of online engineering . 2018,第04期

机译：通过三个模型检查器对分布式实时电梯系统进行建模
2. Verics 2007 - A Model Checker For Knowledge And Real-time [J] . Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Fundamenta Informaticae . 2008,第1a4期

机译：Verics 2007-知识和实时模型检查器
3. VerICS 2007 - a Model Checker for Knowledge and Real-Time [J] . Magdalena Kacprzak Wojciech Nabiałek Artur Niewiadomski Wojciech Penczek Agata Półrola Maciej Szreter Bożena Woźna and Andrzej Zbrzezny Fundamenta Informaticae . 2008,第1a4期

机译：VerICS 2007-知识和实时模型检查器
4. Conformance Checking of IFC Models with the Extensions in the MvdXML Checker [C] . Muhammad Fahad, Nicolas Bus, Bruno Fies, International Conference on Internet and Web Applications and Services . 2018

机译：使用MVDXML Checker中的扩展程序兼容IFC模型的检查
5. Effectiveness of Proactive Password Checker Based on Markov Models =U?inkovitost proaktivnega preverjevalnika gesel, ki temelji na markovih modelih [D] . Taneski, Viktor. 2020

机译：有效的
6. MC3: a steady-state model and constraint consistency checker for biochemical networks [O] . Mona Yousofshahi, Ehsan Ullah, Russell Stern, 2013

机译：MC3：用于生化网络的稳态模型和约束一致性检查器
7. Evaluation and Implementation of State Space Compression Methods for Parallel Graph Rewriting Model Checker SLIM [O] . 吉田健人 2015

机译：并行图重写模型检查器SLIM的状态空间压缩方法的评估和实现

Extension of the SLIM Model Checker to a Real-time Model Checker using the Explicit-time Method

著录项

引文网络

相似文献

相关主题

期刊订阅