Andrew V. Chernov

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Andrew V. Chernov, Vladimir M. Chernov
On Hestenes' Formalization for Describing Linear Image Transforms. AFPAC (1997)
Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin
Industrial strength code generation from SDL. SDL Forum (1997)
Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov
Tool Support for Algebraic Specifications of Dat in SDL-92. FORTE (1996)