Tytuł:

Integrated analysis of communication protocols by means of PLA formalism, Journal of Telecommunications and Information Technology, 2004, nr 4

Autor:

Pranevicius, Henrikas

Temat i słowa kluczowe:

simulation ; communication protocols ; validation ; piece-linear aggregates ; ESTELLE/Ag specification language

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.

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy, Warszawa

Data wydania:

2004, nr 4

Typ zasobu:

artykuł

Format:

application/pdf

DOI:

10.26636/jtit.2004.4.260

ISSN:

1509-4553

eISSN:

1899-8852

Źródło:

Journal of Telecommunications and Information Technology

Język:

ang

Prawa:

Biblioteka Naukowa Instytutu Łączności