APA (7th ed.) Citation

Méré, M., Jouault, F., Pallardy, L., & Perdriau, R. (2025). Evaluating formal model verification tools in an industrial context: The case of a smart device life cycle management system. Software & Systems Modeling, 24(4), 1267. https://doi.org/10.1007/s10270-024-01201-0

Chicago Style (17th ed.) Citation

Méré, Maxime, Frédéric Jouault, Loïc Pallardy, and Richard Perdriau. "Evaluating Formal Model Verification Tools in an Industrial Context: The Case of a Smart Device Life Cycle Management System." Software & Systems Modeling 24, no. 4 (2025): 1267. https://doi.org/10.1007/s10270-024-01201-0.

MLA (9th ed.) Citation

Méré, Maxime, et al. "Evaluating Formal Model Verification Tools in an Industrial Context: The Case of a Smart Device Life Cycle Management System." Software & Systems Modeling, vol. 24, no. 4, 2025, p. 1267, https://doi.org/10.1007/s10270-024-01201-0.