Introduction aux méthodes formelles

1.4.1 Méthodes de Vérification et Validation (V&amp;V) formelles . ... de contrôle (ou un canal de machine) utilisé pour la communication entre.

Test d'interopérabilité