Andrew V. Chernov

According to our database, Andrew V. Chernov authored at least 3 papers between 1996 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1997

Industrial strength code generation from SDL.

Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin

Proceedings of the SDL '97 Time for Testing, 1997

On Hestenes' Formalization for Describing Linear Image Transforms.

Andrew V. Chernov, Vladimir M. Chernov

Proceedings of the Algebraic Frames for the Perception-Action Cycle, 1997

1996

Tool Support for Algebraic Specifications of Dat in SDL-92.

Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov

Proceedings of the Formal Description Techniques IX: Theory, 1996