Вы здесь

Schmidt H. W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Predictable Component Architectures Using Dependent Finite State Machines 2004 Schmidt H. W., Kramer B. J., Poernomo I., Reussner R. Lecture Notes in Computer Science 28.04.2004
СТ Reasoning about Software Architectures with Contractually Specified Components 2003 Reussner R. H., Poernomo I. H., Schmidt H. W. Lecture Notes in Computer Science 19.09.2003
СТ Using the TrustME Tool Suite for Automatic Component Protocol Adaptation 2002 Reussner R., Poernomo I., Schmidt H. W. Lecture Notes in Computer Science 02.06.2002
СТ Towards a Net-Theoretic Notion of Type based on Predicate-Transition Nets 1988 Schmidt H. W. Petri Nets Tutorial 05.10.1995

Редактор: