Formal modeling, verification and test generation for component-based reactive systems

Graics, Bence [Graics, Bence (informatika), szerző]

Angol nyelvű PhD (Disszertáció) Tudományos
Megjelent: Budapesti Műszaki és Gazdaságtudományi Egyetem, 195 p. 2023
    Azonosítók
    • MTMT: 35433228
    • Műegyetem Digitális Archívum: 55153
    • ODT védés: 28327
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-10-15 18:58