Вы здесь
Harman M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Branch-Coverage Testability Transformation for Unstructured Programs | 2005 | Hierons R. M., Harman M., Fox C. J. | The Computer Journal | 01.09.2005 | |||
| СТ | Computing Unique Input/Output Sequences Using Genetic Algorithms | 2004 | Guo Q., Hierons R. M., Harman M., Derderian K. | Lecture Notes in Computer Science | 11.03.2004 | |||
| СТ | Automatically Generating Information from a Z Specification to Support the Classification Tree Method | 2003 | Hierons R. M., Harman M., Singh H. | Lecture Notes in Computer Science | 20.06.2003 |