Round-trip engineering of reactive systems.

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

Browse the full ISoLA paper archive.