BME-MIT
Kezdőlap
Rólunk
Bemutatkozás
Hírek, események
Schnell alapítvány
Elérhetőség
Munkatársak
Munkatársak
Doktoranduszok
Oktatás
Kötelező tantárgyak
BSc Mérnökinformatikus
BSc Villamosmérnök
MSc Mérnökinformatikus
MSc Villamosmérnök
MSc Egészségügyi mérnök
Bprof Üzemmérnök-informatikus
PhD tárgyak
BSc Környezetmérnök
Szabadon választható tárgyak
Témakiírások
Informatikus hallgatóknak
Villamosmérnök hallgatóknak
Egészségügyi mernök hallgatóknak
Önálló laboratórium
Szakdolgozat
Diplomatervezés
Kutatás
Beágyazott rendszerek
Jelfeldolgozás
Kritikus rendszerek
Mesterséges Intelligencia
Belépés
Zavada Ármin Zsolt
doktorandusz
Publikációs lista
Tudománymetriai táblázat
ORCID
Google Scholar
E-mail cím
zavada (*) mit * bme * hu
Iroda
IL405
Zavada Ármin Zsolt a
Kritikus Rendszerek Kutatócsoport
tagja.
Oktatott tárgyai
Automatizált szoftverfejlesztés laboratórium
Rendszermodellezés
Témakiírásai
Szemantikus modell alapú V&V eszköztámogatás megvalósítása a K Framework segítségével
Szemantikus modellezési nyelv és kapcsolódó keretrendszer fejlesztése
Újszerű és meglévő modellezési nyelvek statikus és dinamikus ellenőrzése szemantikus könyvtárak segítségével