Est ce qu'on peut transformer un modèle UML vers n'importe quelle notation formelle?! PLTL....etc
Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
transformation UML -> langage formel
Est ce qu'on peut transformer un modèle UML vers n'importe quelle notation formelle?! PLTL....etc
Répondre avec citation
Partager