|
[BHMB25]
Abdelhakim Baouya, Brahim Hamid, Otmane Ait Mohamed and Saddek Bensalem.
Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games.
Journal of Systems and Software.
2025.
[Analyses reliability properties of satellites using stochastic games and PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|