Sites Inria

There are 1 Results with the keyword : "LabCom"

Industry-Research partnership

ProofInUse : kickoff meeting

Emmanuelle Perrot - 2/02/2015

After several months in construction, the ProofInUse joint laboratory is now fully operational. Today marked the official launch of work on development aimed at providing a range of verification tools for critical systems.

Keywords:

Home > Centre > Saclay > News > ProofInUse : kickoff meeting

More

Top