LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Dates et versions

hal-00469648 , version 1 (02-04-2010)

Identifiants

Citer

Luis Daniel Benavides Navarro, Rémi Douence, Angel Núñez, Mario Südholt. LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns. Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. pp.36-45, ⟨10.1007/978-3-642-02047-6⟩. ⟨hal-00469648⟩
109 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More