Cited By
View all- Méré MJouault FPallardy LPerdriau R(2024)Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management systemSoftware and Systems Modeling10.1007/s10270-024-01201-0Online publication date: 16-Aug-2024
- Yang KXiao MZhong XZhong Y(2023)A novel formal logic for formal analysis of timeliness in non-repudiation protocolsJournal of King Saud University - Computer and Information Sciences10.1016/j.jksuci.2023.10166435:8(101664)Online publication date: Sep-2023
- Méré MJouault FPallardy LPerdriau RSyriani ESahraoui H(2022)Feedback on the formal verification of UML models in an industrial contextProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552454(121-131)Online publication date: 23-Oct-2022