Formal validation and model generation for domain-specific languages by logic solvers

Semeráth, Oszkár [Semeráth, Oszkár (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)

Angol nyelvű Tudományos PhD (Disszertáció)
Megjelent: Budapesti Műszaki és Gazdaságtudományi Egyetem 2019
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-10-22 02:44