LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008
Fichier non déposé

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⟩
141 Consultations
0 Téléchargements

Altmetric

Partager

More