Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Test Generation from LOTOS Specifications
IEEE Transactions on Computers - Special issue on protocol engineering
Logically Instantaneous Message Passing in Asynchronous Distributed Systems
IEEE Transactions on Computers
A conceptual model of service customization and its implementation
Journal of Computer Science and Technology
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Formal methods: Importance, experience, and comparative analysis
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Context independent unique sequences generation for protocol testing
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Information and Software Technology
Research: Throughput efficiency of an enhanced link management procedure
Computer Communications
On testing and diagnosis of communication protocols based on the FSM model
Computer Communications
| Hi-index | 0.00 |