Вы здесь

Главная

Maibaum T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ In Memorian Armando Martin Haeberer 2003 Maibaum T. Lecture Notes in Computer Science 25.12.2003
СТ 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
СТ Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context 2000 Dimitrakos T., Bicarregui J., Matthews B., Maibaum T. Lecture Notes in Computer Science 21.10.2000
СТ Towards a Verification Logic for Rewriting Logic 2000 Fiadeiro J. L., Maibaum T., Marti-Oliet N., Meseguer J., Pita I. Lecture Notes in Computer Science 13.10.2000

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods and Software Engineering: Proc./10th International Conference on Formal Engineering Methods, ICFEM 2008. Kitakyushu-City, Japan, October 2008 2008 Lecture Notes in Computer Science
  1. Liu Sh.
  2. Maibaum T.
  3. Araki K.
 27.01.2009
СБ FM 2008: Formal Methods: Proc./15th International Symposium on Formal Methods. Turku, Finland, May 2008 2008 Lecture Notes in Computer Science
  1. Cuellar J.
  2. Maibaum T.
  3. Sere K.
 07.06.2008
СБ Formal Methods at the Crossroads - From Panacea to Foundations Support: Proc./10th Anniversary Colloq. of UNU-IIST, Lisbon, Portugal, March 2002 2003 Lecture Notes in Computer Science
  1. Aichernig B. K.
  2. Maibaum T.
 25.12.2003
СБ Fundamental Approaches to Software Engineering: Proc./Third Intern. Conf., FASE 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000 2000 Lecture Notes in Computer Science
  1. Maibaum T.
 25.04.2000