首页> 外文OA文献 >An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

【2h】

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

机译：基于动作/状态的模型检查方法，用于面向服务的应用程序的通信协议分析

代理获取

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

页面导航

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

著录项

作者
Maurice H. Ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. State-based real-time analysis of SDF applications on MPSoCs with shared communication resources [J] . Fakih Maher, Gruettner Kim, Fraenzle Martin, Journal of systems architecture . 2015,第9期

机译：具有共享通信资源的MPSoC上SDF应用程序的基于状态的实时分析
2. A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction [J] . Hideto OGAWA, Makoto ICHII, Tomoyuki MYOJIN, IEICE transactions on information and systems . 2015,第6期

机译：基于可配置模型提取的故障分析模型检查方法
3. Analysis of Modern Communication Protocols for IoT applications [J] . Neerendra Kumar, Pragti Jamwal Karbala International Journal of Modern Science . 2021,第4期

机译：IOT应用现代通信协议分析
4. An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications [C] . Maurice H. ter Beek, A. Fantechi, S. Gnesi, International Workshop on Formal Methods for Industrial Critical Systems . 2008

机译：用于分析服务导向应用程序的通信协议的动作/状态模型检查方法
5. A dual architecture approach for vehicle communication control: An accommodated device gateway and intelligent data bus, signal circuitry analysis and message security protocols. [D] . Guzman, Daniel De Jesus. 2001

机译：用于车辆通信控制的双重体系结构方法：容纳的设备网关和智能数据总线，信号电路分析和消息安全协议。
6. A profile of communication in primary care physician telephone consultations: application of the Roter Interaction Analysis System [O] . Michael Innes, John Skelton, Sheila Greenfield 2006

机译：初级保健医师电话咨询中的沟通概况：Rotter交互作用分析系统的应用
7. An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications [O] . Ter Beek Maurice H., Fantechi Alessandro, Gnesi Stefania, 2007

机译：基于动作/状态的模型检查方法，用于分析面向服务的应用程序的异步协议

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

著录项

引文网络

相似文献

相关主题

期刊订阅