Model checking and test generation: towards a combined approach to software verification

Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Vörös, András [Vörös, András (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)

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2025-02-12 17:41