Login / Signup

Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons.

Ludovic ApvrillePierre de Saqui-Sannes
Published in: Tech. Sci. Informatiques (2011)
Keyphrases