首页> 外文OA文献 >A compositional behavioral modeling framework for embedded system design and conformance checking

【2h】

A compositional behavioral modeling framework for embedded system design and conformance checking

机译：用于嵌入式系统设计和一致性检查的组合行为建模框架

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Talpin, Jean-Pierre; Le Guernic, Paul; Shukla, Sandeep Kumar; Gupta, Rajesh K.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A compositional behavioral modeling framework for embedded system design and conformance checking [J] . Talpin JP, Le Guernic P, Shukla SK, International journal of parallel programming . 2005,第6期

机译：用于嵌入式系统设计和一致性检查的组合行为建模框架
2. Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems [J] . Moffett, Yann, Dingel, IEEE Transactions on Software Engineering . 2013,第9期

机译：使用软件模型检查来验证协议一致性，以进行嵌入式系统的模型驱动开发
3. Design pattern for the runtime model-based checking of a real-time embedded system [J] . J. Arm, Z. Bradac, O. Bastan, IFAC PapersOnLine . 2019,第27期

机译：基于运行时模型的实时嵌入式系统检查的设计模式
4. Learning-Based Compositional Model Checking of Behavioral UML Systems [C] . Yael Meller, Orna Grumberg, Karen Yorav International Symposium on Formal Aspects of Component Software . 2016

机译：基于学习的行为UML系统的组成模型检查
5. Runtime Conformance Checking of Mobile Agent Systems Using Executable Models. [D] . Saifan, Ahmad A. 2010

机译：使用可执行模型的移动代理系统的运行时一致性检查。
6. Using Task Analytic Models and Phenotypes of Erroneous Human Behavior to Discover System Failures Using Model Checking [O] . Matthew L. Bolton, Ellen J. Bass -1

机译：使用任务分析模型和错误的人的行为发现系统故障的表型使用模型检测
7. A compositional behavioral modeling framework for embedded system design and conformance checking [O] . Talpin, Jean-Pierre, Le Guernic, Paul, Shukla, Sandeep Kumar, 2005

机译：用于嵌入式系统设计和一致性检查的组合行为建模框架

A compositional behavioral modeling framework for embedded system design and conformance checking

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅