首页> 外文OA文献 >Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model

【2h】

Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model

机译：基于真正的并发实时模型的UML MARTE规范的正式验证

代理获取

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

页面导航

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

著录项

作者
Nadia Chabbat; Djamel Eddine Saidouni; Radja Boukharrou; Salim Ghanemi;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. FORMAL VERIFICATION OF UML MARTE SPECIFICATIONS BASED ON A TRUE CONCURRENCY REAL TIME MODEL [J] . Chabbat Nadia, Saidouni Djamel Eddine, Boukharrou Radja, Computing and informatics . 2020,第5期

机译：基于真正的并发实时模型的UML MARTE规范的正式验证
2. Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model [J] . Nadia Chabbat, Djamel Eddine Saidouni, Radja Boukharrou, Computing and informatics . 2020,第5期

机译：基于真正的并发实时模型的UML MARTE规范的正式验证
3. Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification [J] . Menad Nadia, Dhaussy Philippe, Drey Zoé, Computing and informatics . 2016,第2期

机译：迈向基于观察者的形式验证的定时UML MARTE规范的转换方法
4. Formal Modeling for UML/MARTE Concurrency Resources [C] . Penil Pablo, Posadas Hector, Villar Eugenio 2010 15th IEEE International Conference on Engineering of Complex Computer Systems . 2010

机译：UML / MARTE并发资源的正式建模
5. Formal specification of real-time systems based on extensions of the abstract data type model [D] . Garrido, Jose Miguel 1996

机译：基于抽象数据类型模型扩展的实时系统的正式规范
6. A Formal Algorithm for Verifying the Validity of Clustering Results Based on Model Checking [O] . Shaobin Huang, Yuan Cheng, Dapeng Lang, -1

机译：一种基于模型检查的聚类结果有效性验证的形式化算法
7. cmUML- A UML based Framework for Formal Specification of Concurrent, Reactive Systems [O] . 2011

机译：cmUmL-基于UmL的并发，反应系统形式化规范框架

Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model

著录项

引文网络

相似文献

相关主题

期刊订阅