Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems

Nazareno Aguirre, T. S. E. Maibaum. Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electronic Notes in Theoretical Computer Science, 108:69-81, 2004. [doi]

Abstract

Abstract is missing.