首页> 外文OA文献 >Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP and sockets

【2h】

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP and sockets

机译：适用于网络协议的严格规范和一致性测试技术，适用于TCp，UDp和套接字

页面导航

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

著录项

作者
Steve Bishop; Matthew Fairbairn; Michael Norrish; Peter Sewell; Michael Smith; Keith Wansbrough;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets [J] . Bishop S, Fairbairn M, Norrish M, Computer communication review . 2005,第4期

机译：适用于TCP，UDP和套接字的网络协议的严格规范和一致性测试技术
2. Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API [J] . Bishop Steve, Fairbairn Matthew, Mehnert Hannes, Journal of the Association for Computing Machinery . 2019,第1期

机译：用逻辑进行工程：严格的Test-Oracle规范和TCP / IP和Sockets API的验证
3. Analysis of Timings in Networks That Use TCP/IP or UDP/IP Protocols for Communication with Industrial Controllers in Mechatronic Systems [J] . Krzysztof Pucher, Dariusz Polok Diffusion and Defect Data. Solid State Data, Part B. Solid State Phenomena . 2009,第Null期

机译：机电系统中使用TCP / IP或UDP / IP协议与工业控制器进行通信的网络中的时序分析
4. Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets [C] . Steve Bishop, Matthew Fairbairn, Michael Norrish, Conference on Applications, technologies, architectures, and protocols for computer communications . 2005

机译：适用于TCP，UDP和套接字的网络协议的严格规范和一致性测试技术
5. Terminal Sockets: Terminal emulator to Transport Control Protocol/Internet Protocol (TCP/IP) network programming interface specification for Microsoft(RTM) DOS. [D] . Kangas, Charles Walter. 1995

机译：终端套接字：Microsoft（RTM）DOS的传输控制协议/ Internet协议（TCP / IP）网络编程接口规范的终端仿真器。
6. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks [O] . Diego Martínez, Apolinar González, Francisco Blanes, 2011

机译：无线传感器和执行器网络的正式规范和设计技术
7. Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets [O] . Steve Bishop, Matthew Fairbairn, Michael Norrish, 2005

机译：适用于TCP，UDP和套接字的网络协议的严格规范和一致性测试技术

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP and sockets

著录项

引文网络

相似文献

相关主题

期刊订阅