Předmět Seminář laboratoře paralelních a distribuovaných systémů (IV115)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IV115 - Seminář laboratoře paralelních a distribuovaných systémů, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Studenti získají zkušenosti s prezentací vlastních vědeckých výsledků a měli by být schopni aktivně participovat ve výzkumných aktivitách laboratoře ParaDiSe.
Osnova
Témata k diskuzi a články ke studiu a prezentaci jsou vymezeny během prvních dvou týdnů výuky daného semestru.
Literatura
Principles of model checking. Edited by Christel Baier - Joost-Pieter Katoen. Cambridge, Mass.: MIT Press, 2008. xvii, 975. ISBN 978-0-262-02649-9. infoGRUMBERG, Orna, Doron PELED a Edmund M. CLARKE. Model checking. Cambridge: MIT Press, 1999. xiv, 314 s. ISBN 0-262-03270-8. info
Požadavky
SOUHLASSchopnost samostatného studia odborných publikací souvisejících s verifikací a modelováním complexních systémů.
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
doc. RNDr. Jiří Barnat, Ph.D.