首页> 外文OA文献 >An Analyzer for Message Sequence Charts

【2h】

An Analyzer for Message Sequence Charts

机译：消息序列图表分析器

代理获取

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

页面导航

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

著录项

作者
Rajeev Alur; Gerard J. Holzmann; Doron Peled;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Distributed implementation of message sequence charts [J] . Abdallah Rouwaida, Helouet Loic, Jard Claude Software and systems modeling . 2015,第2期

机译：消息序列图的分布式实现
2. Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets [J] . S. A. Chernenok, V. A. Nepomniaschy Automatic Control and Computer Sciences . 2015,第7期

机译：借助彩色Petri网对分布式系统消息序列图进行分析和验证
3. Symbolic Message Sequence Charts [J] . ABHIK ROYCHOUDHURY, ANKIT GOEL, BIKRAM SENGUPTA ACM transactions on software engineering and methodology . 2012,第2期

机译：符号消息序列图
4. Extracting Message Sequence Charts from Hindi Narrative Text [C] . Swapnil Hingmire, Nitin Ramrakhiyani, Avinash Kumar Singh, Joint Workshop on Narrative Understanding Storylines, and Events . 2020

机译：从印地语叙事文本中提取消息顺序图
5. Message sequence chart specifications with cross verification. [D] . Boles, Timothy Shawn. 2001

机译：带有交叉验证的消息序列图规范。
6. A STATISTICAL ANALYZER FOR OPTIC NERVE MESSAGES [O] . Richard Fitzhugh 1958

机译：视神经信息的统计分析器
7. Generation of Oracle Components from Message Sequence Charts [O] . Amit Kumar Mondal 2016

机译：从消息序列图表中生成Oracle组件

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号