NAZARENO AGUIRRE; TOM MAIBAUM

Temporal Specification of Component Based Systems with Polymorphic Dynamic Reconfiguration

Mathematical Frameworks for Component Software - Models for Analysis and Synthesis

Año: 2006; p. 1 - 34