- Tytuł:
- Integrated analysis of communication protocols by means of PLA formalism
- Autorzy:
- Pranevicius, H.
- Powiązania:
- https://bibliotekanauki.pl/articles/308344.pdf
- Data publikacji:
- 2004
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Tematy:
-
piece-linear aggregates
ESTELLE/Ag specification language
validation
simulation
communication protocols - Opis:
- 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 formal specification of systems. The advantage of that 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.
- Źródło:
-
Journal of Telecommunications and Information Technology; 2004, 4; 84-90
1509-4553
1899-8852 - Pojawia się w:
- Journal of Telecommunications and Information Technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł