首页> 外文OA文献 >Automatic Generation of Protocol Converters from Scenario-based Specifications

【2h】

Automatic Generation of Protocol Converters from Scenario-based Specifications

机译：从基于场景的规范自动生成协议转换器

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automatic generation of predictive monitors from scenario-based specifications [J] . Zhang Pengcheng, Pelliccione Patrizio, Leung Hareton, Information and software technology . 2018,第JUNa期

机译：根据基于场景的规范自动生成预测监视器
2. Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols [J] . Marco Bozzano, Giorgio Delzanno Journal of symbolic computation . 2004,第5期

机译：自动验证密码协议线性逻辑规范的保密性
3. ETSI Next Generation Protocols Group Releases First Specification [J] . Mumford Richard Microwave Journal . 2016,第11期

机译：ETSI下一代协议组发布第一个规范
4. Automatic generation of protocol converters from scenario-based specifications [C] . Roychoudhury A., Thiagarajan P.S., Tuan-Anh Tran, Real-Time Systems Symposium, 2004. Proceedings. 25th IEEE International . 2004

机译：根据基于场景的规范自动生成协议转换器
5. Automatic test case generation of conformance testing for communication protocols specified in extended models. [D] . Wang, Chang-Jia. 1994

机译：针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
6. A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification [O] . Na’aman Kam, Hillel Kugler, Rami Marelly, -1

机译：基于场景的建模开发方法：秀丽隐杆线虫命运规范的原型模型
7. Automatic generation of protocol converters from scenario-based specifications [O] . TRAN TUAN ANH 2005

机译：根据基于场景的规范自动生成协议转换器
8. Automated Network Protocol Reachability Analysis with Supertrace Algorithm and TESTGEN: Automated Generation of Test Sequence for a Formal Protocol Specification. [R] . Basaran, C. 1994

机译：使用supertrace算法和TEsTGEN进行自动网络协议可达性分析：自动生成正式协议规范的测试序列。

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号