|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 29 of 30 found articles
| Title: |
Specification, validation and simulation of an event driven local computer network protocol |
| Author: |
Pranevitchius, Henrikas Sintonen, Leo |
| Appeared in: |
Informatica |
| Paging: | Volume 4 (2014) nr. 1-2 pages 199-216 |
| Year: |
2014-09-24 |
| Contents: |
An analysis of an event driven local area network protocol for special purposes in industrial applications is represented. The analysis is performed using the specification language ESTELLE/Ag and protocol analysis tool PRANAS-2. Validation was focused on the correctness media access algorithm, initialization of the protocol and recovery from error situations. The obtained simulation results can be used for comparison of the effectiveness of this protocol with other protocols. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 29 of 30 found articles
| << previous | next >> |