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

Majzik, I [Majzik, István (Műszaki informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Horányi, G

English Scientific Conference paper (Chapter in Book)
    Identifiers
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-06-25 03:10