Subject
Safety, Risk, Reliability and Quality,Software
Reference21 articles.
1. Finite state description of communication protocols;Bochmann;Computer Networks,1978
2. Lecture Notes in Computer Science;Krimm,2000
3. Error-preserving reductions on communication protocols;Duan;Software Testing, Verification and Reliability,2008
4. A blocking-based approach to protocol validation;Ye;Computer Journal,2006
5. Lecture Notes in Computer Science;Godefroid,1996