Communication Protocols Realization of the Prediction and Evaluation Light Environment Embedded Systems
暂无分享,去创建一个
Lei Zhang | Haoyu Yang | Haiwei Wu | Haiye Yu | Keling Zhang | Huiyu Cui | Haiwei Wu | Haiye Yu | Haoyu Yang | Lei Zhang | Keling Zhang | Huiyu Cui
[1] Farnam Jahanian,et al. Testing of fault-tolerant and real-time distributed systems via protocol fault injection , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.
[2] Flaviu Cristian,et al. Simulation-based Testing of Communication Protocols for Dependable Embedded Systems , 2000, The Journal of Supercomputing.
[3] Zhang Lei. Research progress in light environment of Panax ginseng growth , 2006 .
[4] M. Ohta,et al. Performance comparisons of transport protocols for session initiation protocol signaling , 2008, 2008 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks.
[5] Samik Basu,et al. A Model Checking Approach to Protocol Conversion , 2008, Electron. Notes Theor. Comput. Sci..
[6] César A. Muñoz,et al. Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle , 2009, FMICS.
[7] Arcot Sowmya,et al. Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis , 2009, TODE.
[8] Giuseppe Anastasi,et al. Design and Performance Evaluation of a Transport Protocol for Ad hoc Networks , 2009, Comput. J..