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

Oszkár, Semeráth [Semeráth, Oszkár (Informatika), author] MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BUTE / FEEI / DMIS)

English Scientific Conference paper (Conference paper)
    Identifiers
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-12-02 01:50