Automated Generation of Consistent Graph Models with Multiplicity Reasoning

Kristóf, Marussy [Marussy, Kristóf (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Oszkár, Semeráth [Semeráth, Oszkár (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Dániel, Varró [Varró, Dániel (Informatika, szof...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
  • SJR Scopus - Software: Q1
Azonosítók
Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
2021-10-22 03:03