Towards the Formal Verification of SysML v2 Models

Molnár, Vince [Molnár, Vince (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK); Graics, Bence [Graics, Bence (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK); Vörös, András [Vörös, András (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK); Tonetta, Stefano; Cristoforetti, Luca; Kimberly, Greg; Dyer, Pamela; Giammarco, Kristin; Koethe, Manfred; Hester, John; Smith, Jamie; Grimm, Christoph