Вы здесь
Blom J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Specifying and Generating Test Cases Using Observer Automata | 2005 | Blom J., Hessel A., Jonsson B., Pettersson P. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.04.2005 | ||
| СТ | Constraint Oriented Temporal Logic Specification | 1996 | Blom J., Jonsson B. | Lecture Notes in Computer Science | 24.12.1996 |