Analysis of Interface Automata with On-Demand Replication
| Thesis title in Czech: |
Analysis of Interface Automata with On-Demand Replication |
| Thesis title in English: |
Analysis of Interface Automata with On-Demand Replication |
| Key words: |
Interface automat, paralelismus, replikace, modely chování |
| English key words: |
Interface automaton, parallelism, replication, behaviour models |
| Academic year of topic announcement: |
2012/2013 |
| Thesis type: |
diploma thesis |
| Thesis language: |
angličtina |
| Department: |
Department of Distributed and Dependable Systems (32-KDSS) |
| Supervisor: |
doc. RNDr. Jan Kofroň, Ph.D. |
| Author: |
hidden - assigned and confirmed by the Study Dept. |
| Date of registration: |
14.11.2012 |
| Date of assignment: |
14.11.2012 |
| Confirmed by Study dept. on: |
27.11.2012 |
| Date and time of defence: |
27.05.2013 09:00 |
| Date of electronic submission: | 08.04.2013 |
|---|
| Date of submission of printed version: | 12.04.2013 |
|---|
| Date of proceeded defence: |
27.05.2013 |
| Opponents: |
RNDr. David Bednárek, Ph.D. |
| |
|
| |
|
| |
|
| Preliminary scope of work |
| ROZDELENO |
