Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system
Crossref DOI link: https://doi.org/10.1007/s10270-024-01201-0
Published Online: 2024-08-16
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Méré, Maxime http://orcid.org/0000-0002-6234-5851
Jouault, Frédéric
Pallardy, Loïc
Perdriau, Richard
Text and Data Mining valid from 2024-08-16
Version of Record valid from 2024-08-16
Article History
Received: 4 May 2023
Revised: 22 July 2024
Accepted: 25 July 2024
First Online: 16 August 2024