Home
Services Overview
Technology Database
Technology Offers
Technology Requests
Technology e-Alert
Technology Promotion
Partnering Events
Our contact
Publication
Research & Development
Innovation & Technologies
Business & Markets
About us
Selected Technology Request
06 June 2012
Verification of Formal Models for Embedded Systems

A French company is looking for technological expertise in railway or automotive critical systems development, verification and testing

Abstract
A leading French company in the defense industry is currently co-developing an innovative open source toolset to support formal verification of requirements and properties in embedded systems. The French company is looking for additional partners specialized in railway infrastructures engineering for further development.

 

Reference Nr 12 FR 38m9 3PDO

 

Detailed description

 

 

Back to: Technology Offers

Technology e-Alerts

Receive the latest technologies matching your profile. Subscribe.


Promote your technology

None of these technology requests are fitting your requirements. Create your own technology offer and find the right partner.


Brokerage Events
 / Show all
28 June 2013, Turin, Italy
TO Design 2013 Brokerage Event
20 June 2013, Dublin, Ireland
EuroNanoForum 2013
###LATEST_LINK###

Technology Offers
 / Show all
02 April 2013
Crude oil independent emission-free adhesive agent
20 March 2013
Robotised blasting chambers with closed cycle and abrasive recycling
###LATEST_LINK###

Enterprise Europe Network is funded by the European Commission, DG Enterprise and Industry via the Competitiveness and Innovation Programme (CIP).
Swiss network partners are financed by the Swiss government, Euresearch by the State Secretariat for Education, Research and Innovation (SERI),

Osec by the State Secretariat for Economic Affairs (SECO).