Advanced search ?

Object

Download

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

Creator:

Pranevicius, Henrikas

Date:

2004, nr 4

Resource Type:

artykuł

Description:

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.

Publisher:

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

Format:

application/pdf

Resource Identifier:

oai:bc.itl.waw.pl:560

DOI:

10.26636/jtit.2004.4.260

ISSN:

1509-4553

eISSN:

1899-8852

Source:

Journal of Telecommunications and Information Technology

Language:

ang

Rights Management:

Biblioteka Naukowa Instytutu Łączności

Subject and keywords:

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

Object collections:

Last modified:

Jun 11, 2024

In our library since:

Mar 16, 2010

Number of object content hits:

141

All available object's versions:

https://ribes-54.man.poznan.pl/publication/625

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
Pranevicius, Henrikas, Integrated analysis of communication protocols by means of PLA formalism, Journal of Telecommunications and Information Technology, 2004, nr 4 Jun 11, 2024

Objects Similar
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ł
More
×

Citation

Citation style:

Contact details

Address

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

Phone

(+48) 5128 696

E-Mail

biblioteka@il-pib.pl

Visit us!

This page uses 'cookies'. More information