Вы здесь
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 |