Formal Verification of Fault Tolerance Techniques in UML

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

English Scientific Abstract (Conference paper)
    Identifiers
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2022-01-26 08:21