|
|
Partners - France Telecom R&D | |||
|
France Telecom R&DFrance Telecom R&D currently employs 4200 people including 3400 engineers, scientists, and technicians and 150 scientists or doctoral candidates from other organisations. Its annual budget amounts to 3 billion francs. The activities of France Telecom R&D are distributed among 7 R&D Directions focused on the company's major strategic targets and critical technical areas. The tremendous impact of telecommunications on economic development has intensified efforts at the European level to promote R&D in this sector. France Telecom R&D is thus working with numerous partners including universities and manufacturers from all over Europe on over 100 co-operative research projects. In the present project, France Telecom R&D will be represented by the Direction of Software Techniques: DTL. The team involved in the project deals both with improvements of formal languages for protocol specification (like SDL), and with verification techniques, including automatic generation of test suites. |