Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

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

Autor:

Pranevicius, Henrikas

Data wydania:

2004, nr 4

Typ zasobu:

artykuł

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

Format:

application/pdf

Identyfikator zasobu:

oai:bc.itl.waw.pl:560

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

Temat i słowa kluczowe:

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

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

11 cze 2024

Data dodania obiektu:

16 mar 2010

Liczba wyświetleń treści obiektu:

142

Wszystkie dostępne wersje tego obiektu:

https://bc.itl.waw.pl/publication/625

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Pranevicius, Henrikas, Integrated analysis of communication protocols by means of PLA formalism, Journal of Telecommunications and Information Technology, 2004, nr 4 11 cze 2024

Obiekty Podobne
Wymagania na rozdzielczość i nieliniowość przetwornika C/A dla sygnału OFDM. Telekomunikacja i Techniki Informacyjne, 2010, nr 3-4

Kozłowski, Sebastian Rudziński, Adam

2010, nr 3-4
artykuł
ASimJava: a Java-based library for distributed simulation, Journal of Telecommunications and Information Technology, 2004, nr 3

Niewiadomska-Szynkiewicz, Ewa Sikora, Andrzej

2004, nr 3
artykuł
FR/ASimJava: a federated approach to parallel and distributed network simulation in practice, Journal of Telecommunications and Information Technology, 2006, nr 4

Niewiadomska-Szynkiewicz, Ewa Sikora, Andrzej

2006, nr 4
artykuł
Simulation Model of Biometric Authentication Using Multiagent Approach, Journal of Telecommunications and Information Technology, 2010, nr 4

Kapczyński, Adrian Owczarek, Tomasz

2010, nr 4
artykuł
Critical Infrastructure Risk Assessment Using Markov Chain Model, Journal of Telecommunications and Information Technology, 2019, nr 2

Karbowski, Andrzej Malinowski, Krzysztof Jaskóła, Przemysław Szwaczyk, Sebastian

2019, nr 2
artykuł
Modelling of CDMA systems, Journal of Telecommunications and Information Technology, 2001, nr 2

Gajewski, Piotr Krygier, Jarosław

2001, nr 2
artykuł
A Software Platform for Research on Auction Mechanisms, Journal of Telecommunications and Information Technology, 2011, nr 3

Pałka, Piotr Niewiadomska-Szynkiewicz, Ewa Stańczuk, Wojciech Malinowski, Krzysztof Kamola, Mariusz

2011, nr 3
artykuł
UML Simulation of a TopologyConfiguration Model, Journal of Telecommunications and Information Technology, 2012, nr 4

Zieliński, Zbigniew Stasiak, Andrzej Dąbrowski, Włodzimierz

2012, nr 4
artykuł
Więcej
×

Cytowanie

Styl cytowania:

Dane kontaktowe

Adres

Instytut Łączności – Państwowy Instytut Badawczy ul. Szachowa 1 04-894 Warszawa

Telefon

(+48) 5128 696

E-Mail

biblioteka@il-pib.pl

Odwiedź nas!

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji