Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems

Majzik, I [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Horányi, G

Angol nyelvű Tudományos Konferenciaközlemény (Könyvrészlet)
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-05-06 21:14