Il y a 2 Résultats avec le mot clé : "ESPRESSO"
Technologie - Systèmes embarqués
Polychrony systèmes embarqués
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 :
- ESPRESSO
- Polychrony
- Boîte à outils
- Systèmes embarqués
- Inria Rennes - Bretagne Atlantique
- SIGNAL
- Temps réel
Accueil > Centre > Rennes > Actualités > Polychrony systèmes embarqués
Récompense
Jean-Pierre Talpin récompensé 20 ans après
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
Inria
Inria.fr
Inria Channel
Centres de recherche Inria