Вы здесь

Bussow R.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Open Environment for the Integration of Heterogeneous Modeling Techniques and Tools 1999 Bussow R., Grieskamp W., Heicking W., Herrmann S. Lecture Notes in Computer Science 29.09.1999
СТ Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems 1997 Bussow R., Grieskamp W. Lecture Notes in Computer Science 20.12.1997