Simulation and Verification of Protocol Using Deductive Machine
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date1995/11/01
-
Journal
-
Indian UGC (journal)
-
Refrences12
-
Citations2
-
R. Lai Department of Computer Science and Computer Engineering La Trobe University Victoria, Australia 3083
-
X. Li Department of Computer Science and Computer Engineering La Trobe University Victoria, Australia 3083
Abstract
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
- Analysis of musculoskeletal systems in the AnyBody Modeling System
- Modeling and simulation of photovoltaic (PV) system during partial shading based on a two-diode model
- Modeling and simulation of a grid connected PV system based on the evaluation of main PV module parameters
- The refined instrumental variable method
- Comparison of six implicit real-time optimization schemes
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Verification Results for ISO FTAM Basic Protocol | 1989 | |||
| VALIRA- A Tool for Protocol Validation via Reachability Analysis | 1987 | |||
| Theory of Deductive Systems and Its Applications | 1987 | |||
| Petri Net Theory and Modelling of Systems | 1981 | |||
| Introduction to Mathematical Logic | 1979 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Applying a new decomposition method to verify communication protocols | Journal of Systems and Software |
| 1998 | |
| Verification of the ISO ACSE protocol using Deductive Machine | Journal of Systems and Software |
| 1997 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 2
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Verification of the ISO ACSE protocol using Deductive Machine and was published in 1997. The most recent citation comes from a 1998 study titled Applying a new decomposition method to verify communication protocols. This article reached its peak citation in 1998, with 1 citations. It has been cited in 1 different journals. Among related journals, the Journal of Systems and Software cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.