| Title |
Formalization and simulation telecommunication protocols and systems using PLA method / |
| Another Title |
Telekomunikacinių protokolų formalizavimas ir imitacinis modeliavimas PLA metodu. |
| Authors |
Pranevicius, H ; Praneviciene, I ; Benkunskis, R |
| Full Text |
|
| Is Part of |
Elektronika ir elektrotechnika.. Kaunas : Technologija. 2005, Nr. 4, p. 5-10.. ISSN 1392-1215. eISSN 2029-5731 |
| Abstract [eng] |
The aggregate approach and its possibilities for specification and analysis of computer network protocols are presented. The theoretical basis of the aggregate approach is a piece-linear aggregate (PLA) for a formal specification of systems. The advantage of this approach is that it permits to create models both for analysis correctness of specifications and simulation. Some methods that can be used for validation and verification of aggregate specifications are presented also. The presented approach is illustrated by formal specification of CSMD/SD protocol and simulation results. |
| Published |
Kaunas : Technologija |
| Type |
Journal article |
| Language |
English |
| Publication date |
2005 |
| CC license |
|
