Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Integrated analysis of communication protocols by means of PLA formalism

Szczegóły
Abstrakt

Tytuł:: Integrated analysis of communication protocols by means of PLA formalism
Autorzy:: Pranevicius, H.
Data publikacji:: 2004
Słowa kluczowe:: piece-linear aggregates
ESTELLE/Ag specification language
validation
simulation
communication protocols
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła Pełny tekst

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Integrated analysis of communication protocols by means of PLA formalism