Modeling of Time-Dependent Behavior in Fault-Tolerant Systems

Cziborová, Dóra [Cziborová, Dóra (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Szabó, Richárd [Szabó, Richárd (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)