Frissült a tárgy vizsgákkal kapcsolatos oldala: kikerült egy minta vizsgasor, valamint az elméleti és gyakorlati részhez használható segédanyagok gyűjteménye.
A Formális módszerek házi feladat és szorgalmi feladat védési időpontok elérhetők a tárgy házi feladat tudnivalókról szóló oldalán. A védéseket a konzulensek fogják ütemezni.
A Kritikus beágyazott rendszerek tárgy utolsó két előadása (május 5. csütörtök és május 10. kedd) alkalmával a hallgatói irodalomfeldolgozás alapján készített prezentációk kerülnek sorra. Egy előadás 15 perces lesz, amit 5 perc megbeszélés (kérdések, értékelés) követ. Tovább »