Evaluation of protocols from formal specifications: a case study with LAPD
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- An experience in estimating fault coverage of a protocol testPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Predicting performance of parallel computationsIEEE Transactions on Parallel and Distributed Systems, 1990
- A new technique for generating protocol testPublished by Association for Computing Machinery (ACM) ,1985