Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau. Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. In Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 121-131, ACM, 2022. [doi]
Abstract is missing.