![]() | ![]() |
2004 | ||
---|---|---|
2 | Dmitrij Koznov, Maxim Katrashov, Goman Gagarsky, Vera A. Zvereva, Alexey Barsov: Round-trip engineering of reactive systems. ISoLA (Preliminary proceedings) 2004: 343-347 | |
1 | EE | Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva: Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS 2004: 447-458 |
1 | Alexey Barsov | [2] |
2 | Goman Gagarsky | [2] |
3 | Maxim Katrashov | [2] |
4 | Dmitrij Koznov | [2] |
5 | Abhik Roychoudhury | [1] |
6 | P. S. Thiagarajan | [1] |
7 | Tuan-Anh Tran | [1] |