Oktatás

Kikerült a negyedik házi feladat biztonságosság elemzése témakörben a Házi Feladat oldalra. A leadási határidő 2019. 11. 18. (hétfő) este 20:00. Ismét felhívjuk a figyelmet, hogy a házi feladatban szereplő extra IMSc feladat megoldása nem kötelező, de a színvonalas megoldásokért IMSc pontokat adunk (nem IMSc-s hallgatóknak is). Tovább »

A tárgy segédanyagai közé kikerült a házi feladat leírása valamint a kapcsolódó labor anyagai. A következő laboralkalom november 13-án lesz, témája erősen kapcsolódik a házi feladathoz. A laboron a részvétel kötelező, saját gép használata javasolt. Az UPPAAL modellellenőrző a következő honalapról tölthető le: http://uppaal.org/

Ugyan legjobb tudomásunk szerint a HF2 kiindulómodell beolvasztása (merge) körüli technikai problémákat, hibákat mostanra sikerült megoldani, de sok csapatnak így nagyon kevés ideje maradt házi feladatot leadni. Ezért kivételesen meghosszabbítjuk a HF2 leadási határidőt 2019-10-23 szerda 20:00-ig. Aki időben beadott teljes megoldást, annak nincs teendője; de a többi csapatot arra buzdítanánk, hogy adjanak be megoldást (ha eddig nem tették), vagy a már beadott hiányos megoldást a kitolt határidőig fejezzék be. A kitolt határidőig beérkező összes megoldás egységesen lesz elbírálva. Tovább »

Itt lehet jelentkezni a Thrift megoldások bemutatására: https://doodle.com/poll/s8xdx98v3amkn3aw