Vera A. Zvereva

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva
Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS (2004)
Dmitrij V. Koznov, Maxim Katrashov, Goman Gagarsky, Vera A. Zvereva, Alexey Barsov
Round-trip engineering of reactive systems. ISoLA (Preliminary proceedings) (2004)