Automated Generation of Consistent Models byCombining Geometric and Qualitative Reasoning

Aren, A. Babikian; Oszkár, Semeráth [Semeráth, Oszkár (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Anqi, Li; Kristóf, Marussy [Marussy, Kristóf (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Dániel, Varró

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