|
[PTD+23]
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen and Silvia Lizeth Tapia Tarifa.
Formal Modelling and Analysis of a Self-Adaptive Robotic System.
In Proc. 18th International Conference on Integrated Formal Methods (iFM'23).
2023.
[Proposes an approach to model self-adaptive systems as dynamic software product lines, using PRISM via the ProFeat tool.]
|
|
Links:
[Google]
[Google Scholar]
|