Вы здесь
Hong H. S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Using Model Checking for Reducing the Cost of Test Generation | 2005 | Hong H. S., Ural H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.04.2005 | ||
| СТ | A Temporal Logic Based Theory of Test Coverage and Generation | 2002 | Hong H. S., Lee I., Sokolovsky O., Ural H. | Lecture Notes in Computer Science | 21.05.2002 |