Laboratory for telecommunications software technologies at the Faculty of Electrical Engineering and Computing at Zagreb

被引:0
|
作者
Kunstic, M [1 ]
Mikuc, M [1 ]
Jukic, O [1 ]
机构
[1] Univ Zagreb, Fac Elect & Comp Engn, Dept Telecommun, HR-10000 Zagreb, Croatia
关键词
education; telecommunication software; specification; verification; validation; simulation; implementation;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
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.
引用
收藏
页码:1073 / 1078
页数:6
相关论文
共 50 条