首页> 外文OA文献 >Model Checking for an Executable Subset of UML

【2h】

Model Checking for an Executable Subset of UML

机译：UML可执行子集的模型检查

页面导航

著录项
相似文献
相关主题

著录项

作者
Fei Xie; Vladimir Levin; James C. Browne;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Towards model checking executable UML specifications in mCRL2 [J] . Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Innovations in Systems and Software Engineering . 2010,第1a2期

机译：在mCRL2中进行模型检查可执行UML规范
2. Abstractions for Executable and Checkable Fault Management Models [J] . Corrina Gibson, Robert Karban, Luigi Andolfato, Procedia Computer Science . 2014,第1期

机译：可执行和可检查的故障管理模型的抽象
3. UML with Meaning: Executable Modeling in Foundational UML and the Alf Action Language [J] . Ed Seidewitz Ada Letters . 2014,第3期

机译：具有意义的UML：基础UML和Alf动作语言中的可执行建模
4. Model checking for an executable subset of UML [C] . Fei Xie, Levin, V., . 2001

机译：模型检查UML的可执行子集
5. Runtime Conformance Checking of Mobile Agent Systems Using Executable Models. [D] . Saifan, Ahmad A. 2010

机译：使用可执行模型的移动代理系统的运行时一致性检查。
6. Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts [O] . Halit Erdogan, Esra Erdem, Olivier Bodenreider -1

机译：利用UMLS语义检查UMLS概念中的语义一致性
7. Towards Model Checking Executable UML Specifications in mCRL2 [O] . Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, 2013

机译：迈向模型检查mCRL2中的可执行UmL规范

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号