lot n° 1 : faculte de la construction et de l'habitat - Exercices corriges
2.4.3 Nouveaux instruments : réels et virtuels - projet IMAREV et synthèse par
modélisation physique, logiciel Modalys ...... permis de nouvelles implémentation
s de machines d'éxécutions de NTCC (Non Deterministic Timed Concurrent
Constraints), un calcul formel de type CCP développé par l'équipe de Camilo
Rueda à ...