Вы здесь
Juan E.Y. T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Modeling and Verification of High-Assurance Properties of Safety-Critical Systems | 2001 | Tsai J.J. P., Juan E.Y. T. | The Computer J. | 05.01.2002 | |||
| СТ | Parallel Evaluation of Software Architecture Specifications | 1997 | Tsai J.J. P., Li B., Juan E.Y. T. | Communications of the ACM | 05.03.1997 |