| |
| 2007 | ||
|---|---|---|
| 1 | EE | V. P. Ivannikov, A. S. Kamkin, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: The use of contract specifications for representing requirements and for functional testing of hardware models. Programming and Computer Software 33(5): 272-282 (2007) |
| 1 | V. P. Ivannikov | [1] |
| 2 | Alexander Kossatchev | [1] |
| 3 | Victor V. Kuliamin | [1] |
| 4 | Alexander K. Petrenko | [1] |