Vérification des Systèmes Réactifs Temps-Réel - LIX-polytechnique
Dans notre cas cette validation se réduit au test mais il faut garder à l'esprit que d'autres méthodes sont possibles (model-checking, analyse statique...).
Dans notre cas cette validation se réduit au test mais il faut garder à l'esprit que d'autres méthodes sont possibles (model-checking, analyse statique...).