Bakhshi, Zeinab
61  Ergebnisse:
Personensuche X
?
3

Remaining Useful Life Estimation for Railway Gearbox Bearin..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
 
?
 
?
6

Verifying the timing of a persistent storage for stateful f..:

, In: 2022 6th International Conference on Computer, Software and Modeling (ICCSM),
 
?
12

Fault-tolerant Permanent Storage for Container-based Fog Ar..:

, In: 2021 22nd IEEE International Conference on Industrial Technology (ICIT),
 
?
13

Using UPPAAL to Verify Recovery in a Fault-tolerant Mechani..:

, In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ),
 
1-15