Informações sobre o curso

5,574 visualizações recentes
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário
Aprox. 4 horas para completar
Inglês

Habilidades que você terá

BisimulationFinite-State MachineTransition System
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário
Aprox. 4 horas para completar
Inglês

oferecido por

Placeholder

EIT Digital

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

1 hora para concluir

Behavioural modelling

1 hora para concluir
5 vídeos (Total 27 mín.), 1 leitura, 1 teste
5 videos
An automaton as a model for behaviour6min
Non-deterministic behaviour8min
The definition of an automaton5min
The wolf, the goat and the cabbage5min
1 leituras
Book exercises15min
1 exercício prático
Automata to model behaviour30min
Semana
2

Semana 2

2 horas para concluir

Basic behavioural equivalences

2 horas para concluir
6 vídeos (Total 42 mín.), 2 leituras, 1 teste
6 videos
Strong bisimulation9min
Trace equivalence6min
The internal or τ -action.5min
Branching bisimulation8min
Rooted branching bisimulation6min
2 leituras
Book exercises15min
Book exercises15min
1 exercício prático
Basic behavioural equivalences30min
Semana
3

Semana 3

1 hora para concluir

More behavioural equivalences

1 hora para concluir
7 vídeos (Total 47 mín.)
7 videos
Divergence preserving branching bisimulation3min
Weak trace equivalence2min
Weak bisimulation4min
Language, failure, and completed trace equivalence10min
When to use which behavioural equivalence6min
Transition systems with data, time and probabilities5min
1 exercício prático
More behavioural equivalences.30min

Avaliações

Principais avaliações do SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

Visualizar todas as avaliações

Perguntas Frequentes – FAQ

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.