Vera A. Zvereva

According to our database, Vera A. Zvereva authored at least 2 papers in 2004.

Collaborative distances:

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

2004

Automatic Generation of Protocol Converters from Scenario-Based Specifications.

Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Round-trip engineering of reactive systems.

Dmitrij V. Koznov, Maxim Katrashov, Goman Gagarsky, Vera A. Zvereva, Alexey Barsov

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004