Model checking

De l’Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité

Les processus métier multi-agents aux interactions complexes sont généralement modélisés en tant que workflows. Le propriétaire des …

L. Miller, P. Merindol, A. Gallais, C. Pelsser