Laboratory for Telecommunications Software Technologies at the Faculty of Electrical Engineering and Computing at Zagreb (CROSBI ID 470969)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kunštić, Marijan ; Mikuc, Miljenko ; Jukić, Oliver
engleski
Laboratory for Telecommunications Software Technologies at the Faculty of Electrical Engineering and Computing at Zagreb
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.
education; telecommunication software; specification; verification; validation; simulation; implementation
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
1073-1078-x.
1998.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the Conference FIE 98
Evans, Don
Phoenix (AZ): Stipes Publishing
Podaci o skupu
Frontiers in Education - FIE '98
predavanje
04.11.1998-07.11.1998
Phoenix (AZ), Sjedinjene Američke Države