Hegedüs Ábel
tudományos segédmunkatárs
Elérhetőségek
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB 417
Személyes honlap:
http://home.mit.bme.hu/~hegedusa/ Bevezetés
Publikációs adatbázisok
Lásd lenti linkek, továbbá DBLP adatbázis
Prezentációk
Kutatási területek
- Modelltranszformáció
- Visszavetítés transzformáció alapú támogatása
- Üzleti folyamatok formális verifikációja
- Szolgáltatásbiztonság analízise
Oktatás
Kutatás
Kutatócsoport:
Kritikus Rendszerek Kutatócsoport