Méthodes numériques et formelles pour l'ingénierie des - HAL Thèses
7 juillet 2004 à Lyon, lors du 8e Congrès de l'AIS, to be published. ... correction des devoirs), comme surveillance vidéo de la famille ou de la maison ...
7 juillet 2004 à Lyon, lors du 8e Congrès de l'AIS, to be published. ... correction des devoirs), comme surveillance vidéo de la famille ou de la maison ...