Open AccessUtilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN
Author(s) -
Yamine AïtAmeur,
Mickaël Baron,
Nadjet Kamel
Publication year - 2003
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - promela , physics , computer science , humanities , programming language , philosophy , model checking