首页> 外文OA文献 >Compositional message sequence charts

【2h】

Compositional message sequence charts

机译：组成消息序列图

页面导航

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

著录项

作者
Elsa L. Gunter; Anca Muscholl; Doron A. Peled;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Compositional message sequence charts [J] . Elsa L. Gunter, Anca Muscholl, Doron Peled International Journal on Software Tools for Technology Transfer . 2003,第1期

机译：组成消息序列图
2. Distributed implementation of message sequence charts [J] . Abdallah Rouwaida, Helouet Loic, Jard Claude Software and systems modeling . 2015,第2期

机译：消息序列图的分布式实现
3. 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网对分布式系统消息序列图进行分析和验证
4. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs [C] . Blaise Genest International Conference on Tools and Algorithms for the Construction and Analysis of Systems(TACAS 2005) and Joint European Conferences on Theory and Practice of Software(ETAPS 2005); 20050404-08; Edinburgh(GB) . 2005

机译：组成消息序列图（CMSC）比MSC更好地实现
5. Message sequence chart specifications with cross verification. [D] . Boles, Timothy Shawn. 2001

机译：带有交叉验证的消息序列图规范。
6. CHART ILLUSTRATING THE RELATION BETWEEN THE COMPOSITIONS OF CERTAIN MIXTURES THE LOGARITHMS OF THEIR HYDROGEN IONIC CONCENTRATION AND THE RELATED COLOUR CHANGES OF CERTAIN INDICATORS [O] . 1911

机译：查明某些混合物的组成其氢离子浓度的对数与某些指标的相关颜色变化之间的关系
7. Compositional message sequence charts (cmscs) are better to implement than mscs [O] . Blaise Genest 2005

机译：组合消息序列图（cmscs）比msc更好地实现

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号