Il y a 2 Résultats avec le mot clé : "ESPRESSO"

Polychrony, une boite à outils pour systèmes embarqués

Technologie - Systèmes embarqués

Polychrony systèmes embarqués

Jean-Michel Prima - 10/11/2010

Construit autour du langage Signal, Polychrony facilite le développement intégré d'applications embarquées temps réel. C'est l'aboutissement d'un long cycle de recherche sur la modélisation formelle, comme l'expliquent les scientifiques de l'équipe-projet Espresso.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Polychrony systèmes embarqués

Lire la suite

Récompense

Jean-Pierre Talpin récompensé 20 ans après

Alexandre Papin - 12/07/2012

Jean-Pierre Talpin, responsable de l’équipe Espresso, vient de recevoir le LICS test-of-time Award 20 ans après la publication de son papier sur « The type and effect discipline ».

Mots-clés :

Accueil > Centre > Rennes > Actualités > Jean-Pierre Talpin récompensé 20 ans après

Lire la suite

Haut de page