la Vérification en Temps d'Exécution (RV). La RV consiste à observer les exécutions du
système et à les analyser pour vérifier leur... de communication qui ne sont pas conformes aux protocoles de communication du
système. La technique envisagée utilise des modèles... -
Voir cette offre d'emploi