Naslov
Laboratory for Telecommunications Software Technologies at the Faculty of Electrical Engineering and Computing at Zagreb

Autori
Kunštić, Marijan ; Mikuc, Miljenko ; Jukić, Oliver

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the Conference FIE ’98 / Evans, Don - Phoenix (AZ) : Stipes Publishing, 1998, 1073-1078

Skup
Frontiers in Education - FIE '98

Mjesto i datum
Phoenix (AZ), Sjedinjene Američke Države, 04.11.1998. - 07.11.1998

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
education; telecommunication software; specification; verification; validation; simulation; implementation

Sažetak
Laboratory for telecommunications software technologies is part of Department of Telecommunications at the Faculty of Electrical Engineering and Computing at Zagreb. Basic purpose of this laboratory is education of undergraduate and postgraduate students at our Department (especially within the course “Information, logic and languages”) and investigation within the project COST 247 - "Verification / Validation Of Communication Software By Formal Methods" in which our Department has been involved since 1995. Laboratory is equipped with the help of Ericsson Nikola Tesla company, and it enables research of specification, verification, validation, simulation and implementation problems, primarily related to telecommunication software. We are especially focused on problems of concurrency, parallelism, distributed control and processing, which are of great importance in the telecommunications area.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA