An integrated approach to the analysis and verification of specifications for telecommunications applications for uniprocessor and multiprocessor systems

Start: 01.01.2011 End: 01.12.2011 Project number: 11-07-90412