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ű Absztrakt / Kivonat (Egyéb konferenciaközlemény) Tudományos
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2022-05-24 11:30