Вы здесь

Aguirre N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems 2003 Aguirre N., Maibaum T. Lecture Notes in Computer Science 26.03.2004
СТ Towards Dynamic Population Management of Abstract Machines in the B Method 2003 Aguirre N., Bicarregui J., Dimitrakos T., Maibaum T. Lecture Notes in Computer Science 20.06.2003
СТ A Logical Basis for the Specification of Reconfigurable Component-Based Systems 2003 Aguirre N., Maibaum T. Lecture Notes in Computer Science 16.04.2003