Verification of the ISO ACSE protocol using Deductive Machine
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date1997/12/01
-
Journal
-
Indian UGC (journal)
-
Refrences16
-
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 |
|---|---|---|---|---|
| PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols | IEEE Transactions on Software Engineering |
| 46 | 1988 |
| Formal Reductions of the General Combinatorial Decision Problem | American Journal of Mathematics |
| 265 | 1943 |
Simulation and Verification of Protocol Using Deductive Machine | SIMULATION |
| 2 | 1995 |
| An Improved Decomposition Approach to Reachability Analysis | 1994 | |||
| Modelling Communication Protocols Using Deductive Systems | 1993 |