Detail práce
Statistical Model Checking of Approximate Computing Systems
Bakalářská práce
Student: Pérez Sergio H.
Akademický rok: 2018/2019
Vedoucí: Strnadel Josef, Ing., Ph.D.
Název česky
Statistical Model Checking of Approximate Computing Systems
Jazyk práce
anglický
Abstrakt
Klíčová slova
Ústav
Studijní program
Krátkodobé hostující studium bakalářské, obor
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
12. června 2019
Oponent
Citace
PÉREZ, Sergio. Statistical Model Checking of Approximate Computing Systems. Brno, 2019. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-12. Vedoucí práce Strnadel Josef. Dostupné z: https://www.fit.vut.cz/study/thesis/21362/
BibTeX
@bachelorsthesis{FITBT21362, author = "H. Sergio P\'{e}rez", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Statistical Model Checking of Approximate Computing Systems", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2019, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/thesis/21362/" }