Majzik István Dr.
DocensVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
- Villamosmérnöki és Informatikai Kar 2011
- Villamosmérnöki és Informatikai Kar 2012
- Villamosmérnöki és Informatikai Kar 2015. évi TDK
- Villamosmérnöki és Informatikai Kar 2017. évi TDK
témák
kulcsszavak
biztonsági követelmény (1) · biztonságkritikus (1) · biztonságkritikus beágyazott rendszerek (1) · formális modell (1) · formalizálás (1) · formalizmus (1) · Forráskód szintézis (1) · Futásidőbeli verifikáció (1) · időzített rendszerek (1) · k-indukció (1) · kódgenerálás (2) · minta alapú (1) · modellellenőrzés (1) · modellezés (1) · Monitorozás (2) · robotika (1) · ros (1) · tesztelés (2) · tesztgenerálás (1) · verifikáció (2)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 5 dolgozat. Összes dolgozat »