A specification language for consistent model generation based on partial models

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); Kritikus Rendszerek Kutatócsoport (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); Aren, A. Babikian; 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)
Megjelent: JOURNAL OF OBJECT TECHNOLOGY 1660-1769 19 (3) Paper: 12 , 22 p. 2020
  • SJR Scopus - Software: Q4
Azonosítók
Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
2021-10-21 19:15