|
ECTS:
|
5
|
Lecturers in charge:
|
Prof. dr. sc.
Ignac Lovrek
Prof. dr. sc.
Gordan Ježić
|
Take exam:
|
Studomat
|
English level:
1,0,0
|
All teaching activities will be held in Croatian. However, foreign students in mixed groups will have the opportunity to attend additional office hours with the lecturer and teaching assistants in English to help master the course materials. Additionally, the lecturer will refer foreign students to the corresponding literature in English, as well as give them the possibility of taking the associated exams in English.
|
|
Load:
|
| Lecture type | Total |
| Lectures |
45 |
* Load is given in academic hour (1 academic hour = 45 minutes)
|
Description:
|
Theoretical models of communication and coordination in a network. Communication protocols: information units exchange, communication control, flow control, error handling. Model of communication protocol, analysis and synthesis methods of protocols, application of finite state automata models. Petri nets and process algebras. Communication protocols in IP network. Communication protocols in new generation networks - protocols of access and core network, mobility and security. Measurement methods and instrumentation.
|
Literature:
|
- Modeli telekomunikacijskih procesa - Teorija i primjena Petrijeve mreže; I. Lovrek; Školska knjiga; 1997
- Design and Verification of Computer Protocols; G. J. Holzmann; Prentice-Hall (on-line); 1991
- Wireless and Mobile Network Architectures; Y.-B. Lin, I. Chlamtac; John Wiley & Sons; 2001
- The SPIN Model Checker: Primer and Reference Manual; G. J. Holzmann Addison Wesley 2003; Addison Wesley; 2003
|
|
1. semester
|
course for
profile
Information Processing
course for
profile
Telecommunications and Informatics
|
|
