Detail práce

Regulated Formal Models and Their Reduction

Disertační práce Student: Masopust Tomáš Akademický rok: 2007/2008 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název česky
Řízené formální modely a jejich redukce
Jazyk práce
anglický
Abstrakt
Klíčová slova
Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Informační technologie
Soubory
Stav
obhájeno
Obhajoba
4. října 2007
Citace
MASOPUST, Tomáš. Regulated Formal Models and Their Reduction. Brno, 2007. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2007-10-04. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/229/
BibTeX 
@phdthesis{FITPT229,
    author = "Tom\'{a}\v{s} Masopust",
    type = "Diserta\v{c}n\'{i} pr\'{a}ce",
    title = "Regulated Formal Models and Their Reduction",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2007,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/229/"
}

Závěrečné práce

Nahoru