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]

Bibliographies