Sites Inria

Il y a 3 Résultats avec le mot clé : "Sureté"

Start-up - OCamlPro

Interview de Fabrice Le Fessant

12/03/2014

OCamlPro fournit des services et des outils pour le développement rapide de logiciels de haute qualité. Son expertise dans le langage OCaml lui permet de développer son activité dans tous les domaines où la correction du code, la haute disponibilité et la sécurité sont des enjeux importants. Retour sur la création de cette start-up avec Fabrice Le Fessant, son fondateur…

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > Start-up > OCamlPro

Lire la suite

UBIPOST

Innovation - Systèmes embarqués & édition logiciel

UbiPost : un service pour l’intégrité et la distribution sûre de colis

Com CRI Lille - Nord Europe (*) -

L’envoi, le transport et la réception de colis postaux sont des procédures complexes et coûteuses en cas de contestation d’une des parties. Notre système permet d’assurer l’intégrité du contenu d’un colis ainsi qu’un transfert de responsabilité sécurisé et automatique entre expéditeurs, transporteurs et destinataires.

Mots-clés :

Accueil > Centre > Lille > Innovation > Les industries du commerce > Démos > UbiPost : un service pour l’intégrité et la distribution sûre de colis

Lire la suite

Intelligence artificielle

DATAIA Days : la sûreté de l'IA

11/09/2019

Pablo Piantanida (CentraleSupélec ) et François Terrier (CEA List ) organisent la première DATAIA Day consacrée à la sûreté de l'IA, le mercredi 11 septembre prochain - 9h à 19h - au centre Inria Saclay - Île-de-France, en collaboration avec le laboratoire d'excellence Digicosme .

Lieu : Centre Inria Saclay - Île-de-France

Mots-clés :

Accueil > Centre > Saclay > Agenda > DATAIA Days : la sûreté de l'IA

lire la suite

Haut de page

Suivez Inria