| 2008 |
|---|
| 6 | EE | Alexander K. Petrenko,
Olga L. Petrenko:
Formal Methods and Innovation Economy: Facing New Challenges.
SEFM 2008: 367-371 |
| 5 | EE | Bernd Finkbeiner,
Yuri Gurevich,
Alexander K. Petrenko:
Preface.
Electr. Notes Theor. Comput. Sci. 220(1): 1 (2008) |
| 2007 |
|---|
| 4 | EE | Bernd Finkbeiner,
Yuri Gurevich,
Alexander K. Petrenko:
Preface.
Electr. Notes Theor. Comput. Sci. 190(2): 1 (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 | Bernd Finkbeiner,
Yuri Gurevich,
Alexander K. Petrenko:
Preface.
Electr. Notes Theor. Comput. Sci. 164(4): 1 (2006) |
| 2005 |
|---|
| 1 | EE | Yuri Gurevich,
Alexander K. Petrenko,
Alexander Kossatchev:
Preface.
Electr. Notes Theor. Comput. Sci. 111: 1-3 (2005) |
