이 강좌에 대하여

최근 조회 3,318
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 4시간 필요
영어

귀하가 습득할 기술

BisimulationFinite-State MachineTransition System
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 4시간 필요
영어

제공자:

Placeholder

EIT 디지털

강의 계획 - 이 강좌에서 배울 내용

1

1

완료하는 데 1시간 필요

Behavioural modelling

완료하는 데 1시간 필요
5개 동영상 (총 27분), 1 개의 읽기 자료, 1 개의 테스트
5개의 동영상
An automaton as a model for behaviour6m
Non-deterministic behaviour8m
The definition of an automaton5m
The wolf, the goat and the cabbage5m
1개의 읽기 자료
Book exercises15m
1개 연습문제
Automata to model behaviour30m
2

2

완료하는 데 2시간 필요

Basic behavioural equivalences

완료하는 데 2시간 필요
6개 동영상 (총 42분), 2 개의 읽기 자료, 1 개의 테스트
6개의 동영상
Strong bisimulation9m
Trace equivalence6m
The internal or τ -action.5m
Branching bisimulation8m
Rooted branching bisimulation6m
2개의 읽기 자료
Book exercises15m
Book exercises15m
1개 연습문제
Basic behavioural equivalences30m
3

3

완료하는 데 1시간 필요

More behavioural equivalences

완료하는 데 1시간 필요
7개 동영상 (총 47분)
7개의 동영상
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개 연습문제
More behavioural equivalences.30m

검토

SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES의 최상위 리뷰

모든 리뷰 보기

자주 묻는 질문

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.