Applying a new decomposition method to verify communication protocols
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date1998/01/01
-
Journal
-
Indian UGC (journal)
-
Refrences35
-
R. Lai
-
X. Li
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
- Usability measurement and metrics: A consolidated model
- Software process improvement in small and medium software enterprises: a systematic review
- Empirical validation of object-oriented metrics for predicting fault proneness models
- Systematic literature reviews in software engineering – A systematic literature review
- Guidelines for conducting systematic mapping studies in software engineering: An update
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Protocol validation by fair progress state exploration | Computer Networks and ISDN Systems | 16 | 1985 | |
| Protocol Validation by Dulogue-Matrix Analysis | 1978 | |||
| Closed Covers: To Verify Progress of Communicating Finite State Machines | 1984 | |||
Maximal progress state exploration | ACM SIGCOMM Computer Communication Review |
| 2 | 1983 |
| General Technique for Communications Protocol Validation | IBM Journal of Research and Development |
| 68 | 1978 |