Averest est un langage de programmation synchrone conçu par un groupe de l`université technique de Kaiserslautern qui permet de spécifier, vérifier et implémenter des systèmes dit réactifs. Trouvé sur https://fr.wikipedia.org/wiki/Averest
Aucun résultat n’a été trouvé dans l’encyclopédie.
Averest est un langage de programmation synchrone conçu par un groupe de l`université technique de Kaiserslautern qui permet de spécifier, vérifier et implémenter des systèmes dit réactifs.