|
[BHMS25]
Abdelhakim Baouya, Brahim Hamid, Otmane Ait Mohamed and Saddek Bensalem.
Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations.
Ad Hoc Networks.
2025.
[Analyses the impact of clock deviation in cyber-physical systems via generation of models for PRISM.
]
|
|
Links:
[Google]
[Google Scholar]
|