Ce cours vise à élargir votre compréhension des méthodologies de conception du logiciel pour les systèmes embarqués temps réel critiques (il est fortement attendu que les étudiantes/étudiants qui souhaitent s'inscrire suivent SE301a au préalable). Ce cours présente des savoir faire et des connaissances en génie logiciel qui restent à la frontière entre la recherche et le développement en vérification de modèles, ingénierie dirigée par les modèles et tolérance aux pannes pour les systèmes temps réel.
Modélisation, Vérification, et Génération des Systèmes Complexes (voie MASC)
Options d’inscription
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.
