2007 |
3 | 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) |
2006 |
2 | EE | V. P. Ivannikov,
Sergey S. Gaissaryan,
Arutyun Avetisyan,
V. A. Padaryan:
Estimation of dynamical characteristics of a parallel program on a model.
Programming and Computer Software 32(4): 203-214 (2006) |
1997 |
1 | EE | V. P. Ivannikov,
K. V. Dyshlevoi,
V. E. Kamensky,
A. V. Klimov,
S. G. Manzheley,
V. A. Omelchenko,
L. B. Solovskaya,
A. A. Vinokurov:
Cover Model: A Framework for Design and Execution of Distributed Applications.
ISPAN 1997: 98-104 |