Automated verification of software
| Název práce v češtině: |
Automatická veri kace software |
| Název v anglickém jazyce: |
Automated verification of software |
| Akademický rok vypsání: |
2006/2007 |
| Typ práce: |
disertační práce |
| Jazyk práce: |
angličtina |
| Ústav: |
Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: |
prof. Ing. František Plášil, DrSc. |
| Řešitel: |
skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: |
01.10.2006 |
| Datum zadání: |
01.10.2006 |
| Datum a čas obhajoby: |
24.09.2010 08:30 |
| Datum odevzdání elektronické podoby: | 24.09.2010 |
|---|
| Datum proběhlé obhajoby: |
24.09.2010 |
| Oponenti: |
doc. Ing. Jan Janeček, CSc. |
| |
Carlo Ghezzi |
| |
|
| |
|
| Zásady pro vypracování |
| N/A |
| Seznam odborné literatury |
| N/A |
