Вы здесь
Ho-Stuart C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Testing and Refinement for Nondeterministic and Probabilistic Processes | 1994 | Jonsson B., Ho-Stuart C., Yi W. | Lecture Notes in Computer Science | 19.10.1994 | |||
| СТ | SOFL: A Formal Engineering Methodology for Industrial Applications | 1998 | Liu S., Offutt A. J., Ho-Stuart C., Sun Y., Ohba M. | IEEE Trans. on Software Engineering | 29.05.1998 |