Pragmatic verification and validation of industrial executable SysML models

Horváth, Benedek; Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Graics, Bence [Graics, Bence (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Hajdu, Ákos [Hajdu, Ákos (formális módszerek), szerző]; Ráth, István [Ráth, István Zoltán (informatika), szerző]; Horváth, Ákos [Horváth, Ákos (informatika), szerző]; Karban, Robert; Trancho, Gelys; Micskei, Zoltán [Micskei, Zoltán Imre (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)