Molnár Vince

Önálló labor témák

Folyamatban témák

Állapot-alapú mérnöki modellek formális verifikációja
Kritikus beágyazott rendszerek, Témalabor, Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Az LTSmin modellellenőrző vizsgálata és kiterjesztése
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Bejárási stratégiák és adatszerkezetek vizsgálata szimbolikus modellellenőrzésben
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)
Hierarchikus állapotgépek formális verifikációja
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)
Korszerű modellellenőrző eszközök felmérése (2 fő)
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)
Modellvasút automatizált vezérlése kijelölt célok alapján (optimalizáció)
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)
PLC kódok modellellenőrzése
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Részleges rendezéses redukció alkalmazása modellellenőrzésben
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)
Robotkar modellezése SysML nyelven
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
Szöveges modellek automatikus szintézise metanyelvtan segítségével
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés

Oktatott tárgyak

Nyelvek

  • English
  • Magyar

Belépés

Navigáció