Formal Verification of Fault Tolerance Techniques in UML

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

Angol nyelvű Tudományos Absztrakt / Kivonat (Egyéb konferenciaközlemény)
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-12-04 15:57