|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Formalization of test experiments |
Bourdonov, I. B. |
2007 |
33 | 5 |
p. 239-260 |
article |
|
| 2 | Graphical inheritance notation for state-based classes |
Shopyrin, D. G. |
2007 |
33 | 5 |
p. 283-292 |
article |
|
| 3 | Object-oriented description of graph data structures |
Demakov, A. V. |
2007 |
33 | 5 |
p. 261-271 |
article |
|
| 4 | Synthesis of parallel recursive programs in structural functional models |
Novoseltsev, V. B. |
2007 |
33 | 5 |
p. 293-298 |
article |
|
| 5 | The use of contract specifications for representing requirements and for functional testing of hardware models |
Ivannikov, V. P. |
2007 |
33 | 5 |
p. 272-282 |
article |
5 results found