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.