Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system.
Saved in:
| Title: | Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system. |
|---|---|
| Authors: | Méré, Maxime1,2, maxime.mere@st.com, Jouault, Frédéric3, f.jouault@gmail.com, Pallardy, Loïc2, loic.pallardy@st.com, Perdriau, Richard3,4, richard.perdriau@eseo.fr |
| Source: | Software & Systems Modeling; Aug2025, Vol. 24 Issue 4, p1267-1292, 26p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 16191366 |
|---|---|
| DOI: | 10.1007/s10270-024-01201-0 |
