À propos de ce cours

2 093 consultations récentes
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau intermédiaire
Approx. 4 heures pour terminer
Anglais

Compétences que vous acquerrez

  • Bisimulation
  • Finite-State Machine
  • Transition System
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau intermédiaire
Approx. 4 heures pour terminer
Anglais

Offert par

Placeholder

EIT Digital

Programme de cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

1 heure pour terminer

Behavioural modelling

1 heure pour terminer
5 vidéos (Total 27 min), 1 lecture, 1 quiz
Semaine
2

Semaine 2

2 heures pour terminer

Basic behavioural equivalences

2 heures pour terminer
6 vidéos (Total 42 min), 2 lectures, 1 quiz
Semaine
3

Semaine 3

1 heure pour terminer

More behavioural equivalences

1 heure pour terminer
7 vidéos (Total 47 min)

Avis

Meilleurs avis pour SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

Voir tous les avis

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Étudiants.