Accueil
>FORMATIONS
>Unités d’enseignements (UEs) et supports
>Unités d’enseignements (UEs)
>AISL
SMB210 : Sémantique, typage et analyse de programme
Diplômes:
Master Systèmes embarqués sûrs et mobiles
Mots clés:
Validation
,
Vérification
UE:
SMB210 Sémantique, typage et analyse de programme
Fiche descriptive de l'UE: Cliquez ici