External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system

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]

Authors

Maxime Méré

This author has not been identified. Look up 'Maxime Méré' in Google

Frédéric Jouault

This author has not been identified. It may be one of the following persons: Look up 'Frédéric Jouault' in Google

Loïc Pallardy

This author has not been identified. Look up 'Loïc Pallardy' in Google

Richard Perdriau

This author has not been identified. Look up 'Richard Perdriau' in Google
runs on