Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers

Oszkár, Semeráth [Semeráth, Oszkár (Informatika), szerző] MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)

Angol nyelvű Tudományos Konferenciaközlemény (Egyéb konferenciaközlemény)
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-10-22 01:33