1997 | ||
---|---|---|
3 | Andrew V. Chernov, Vladimir M. Chernov: On Hestenes' Formalization for Describing Linear Image Transforms. AFPAC 1997: 164-175 | |
2 | Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin: Industrial strength code generation from SDL. SDL Forum 1997: 415- | |
1996 | ||
1 | Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov: Tool Support for Algebraic Specifications of Dat in SDL-92. FORTE 1996: 61-76 |
1 | Vladimir M. Chernov | [3] |
2 | I. V. Mansurov | [1] |
3 | Nikolai Mansurov | [1] [2] |
4 | Alexei S. Ragozin | [1] [2] |