Knowledge base: Warsaw University of Technology

Settings and your account

Back

Reliable multicast protocols - their formal specification and validation

Hanna Kozankiewicz

Record ID
WUTebce49021e0943ecb8bd6cc1b53f1b3d
Diploma type
Master of Science
Author
Hanna Kozankiewicz (FEIT/ICS) Hanna Kozankiewicz,, The Institute of Computer Science (FEIT/ICS)Faculty of Electronics and Information Technology (FEIT)
Supervisor
Jacek Wytrębowicz (FEIT/ICS) Jacek Wytrębowicz,, The Institute of Computer Science (FEIT/ICS)Faculty of Electronics and Information Technology (FEIT)
Certifying unit
Faculty of Electronics and Information Technology (FEIT)
Affiliation unit
The Institute of Computer Science (FEIT/ICS)
Language
(en) English
Status
Finished
Issue date (year)
2002
Internal identifier
ENII-PM.000173
Keywords in Polish
MULTICASTING, RELIABLE DATA TRANSFER, ALM, FORMAL DESCRIPTION TECHNIQUES, VALIDATION, ESTELLE

Uniform Resource Identifier
https://repo.pw.edu.pl/info/master/WUTebce49021e0943ecb8bd6cc1b53f1b3d/
URN
urn:pw-repo:WUTebce49021e0943ecb8bd6cc1b53f1b3d

Confirmation
Are you sure?
Report incorrect data on this page