Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects

Farida Mostefaoui, Julie Vachon. Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects. L OBJET, 12(2-3):157-182, 2006. [doi]

Abstract

Abstract is missing.