Laboratory for telecommunications software technologies at the faculty of electrical engineering and computing at Zagreb

The laboratory for telecommunications software technologies is part of the Department of Telecommunications at the Faculty of Electrical Engineering and Computing at Zagreb. The basic purpose of this laboratory is education of undergraduate and postgraduate students at the authors' 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 their Department has been involved since 1995. The laboratory is equipped with the help of the Ericsson Nikola Tesla company, and it enables research of specification, verification, simulation and implementation problems, related to telecommunication software. The authors are especially focused on the problems of concurrency, parallelism, distributed control and processing, which are of great importance in the telecommunications area.