Informações sobre o curso

4,427 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. 7 horas para completar

Sugerido: 3 weeks, 3 to 5 hours per week...

Inglês

Legendas: Inglês, Vietnamita

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. 7 horas para completar

Sugerido: 3 weeks, 3 to 5 hours per week...

Inglês

Legendas: Inglês, Vietnamita

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 behaviour10min
Semana
2

Semana 2

1 hora para concluir

Basic behavioural equivalences

1 hora 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 equivalences12min
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.10min

Avaliações

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

oferecido por

Logotipo de EIT Digital

EIT Digital

Perguntas Frequentes – FAQ

  • Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.

  • Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.

  • Please look at the reading material of the introduction of this course (first week) and download the pdf on the Blended Master Programme Overview for more information.

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