Acerca de este Curso

3,263 vistas recientes
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio
Aprox. 4 horas para completar
Inglés (English)

Habilidades que obtendrás

BisimulationFinite-State MachineTransition System
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio
Aprox. 4 horas para completar
Inglés (English)

ofrecido por

Placeholder

EIT Digital

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

1 hora para completar

Behavioural modelling

1 hora para completar
5 videos (Total 27 minutos), 1 lectura, 1 cuestionario
5 videos
An automaton as a model for behaviour6m
Non-deterministic behaviour8m
The definition of an automaton5m
The wolf, the goat and the cabbage5m
1 lectura
Book exercises15m
1 ejercicio de práctica
Automata to model behaviour30m
Semana
2

Semana 2

2 horas para completar

Basic behavioural equivalences

2 horas para completar
6 videos (Total 42 minutos), 2 lecturas, 1 cuestionario
6 videos
Strong bisimulation9m
Trace equivalence6m
The internal or τ -action.5m
Branching bisimulation8m
Rooted branching bisimulation6m
2 lecturas
Book exercises15m
Book exercises15m
1 ejercicio de práctica
Basic behavioural equivalences30m
Semana
3

Semana 3

1 hora para completar

More behavioural equivalences

1 hora para completar
7 videos (Total 47 minutos)
7 videos
Divergence preserving branching bisimulation3m
Weak trace equivalence2m
Weak bisimulation4m
Language, failure, and completed trace equivalence10m
When to use which behavioural equivalence6m
Transition systems with data, time and probabilities5m
1 ejercicio de práctica
More behavioural equivalences.30m

Reseñas

Principales reseñas sobre SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

Ver todas las reseñas

Preguntas Frecuentes

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.