Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations

Graics, Bence ✉ [Graics, Bence (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK); Mondok, Milán [Mondok, Milán (informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK); Molnár, Vince [Molnár, Vince (informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK); Majzik, István [Majzik, István (Műszaki informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK)