|
[BHMB24]
Abdelhakim Baouya, Brahim Hamid, Otmane Ait Mohamed and Saddek Bensalem.
Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games.
In Proc. 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'24).
2024.
[Analyses reliability properties of satellites using stochastic games and PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|