Integration Test Generation and Formal Verification for Distributed Controllers

Graics, Bence [Graics, Bence (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Majzik, Istvan [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: Budapest University of Technology and Economics [szerk.]. 30th Minisymposium of the Department of Measurement and Information Systems. (2023) ISBN:9789634219040 pp. 1-4
    Azonosítók
    • MTMT: 33689503
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-10-17 22:31