|
|
 |
SEG 4155
Conception et analyse de logiciels de télécommunications
|
|
Université d'Ottawa (2001)
|
Description
|
Modèles théoriques pour la conception et l'analyse de logiciels de télécommunications. Spécification, conception et validation de protocoles. Vérification et test de protocoles. Test de conformité. Synthèse et transformation de protocoles.
|
Projets - (Anglais Seulement)
|
Projet
|
Solution
|
Commentaires
|
|
|
|
|
|
|
|
|
