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

Maxime Mr, Frdric Jouault, Loc Pallardy, Richard Perdriau

Browse the full MODELS paper archive.