Login / Signup
Round-trip engineering of reactive systems.
Dmitrij V. Koznov
Maxim Katrashov
Goman Gagarsky
Vera A. Zvereva
Alexey Barsov
Published in:
ISoLA (Preliminary proceedings) (2004)
Keyphrases
</>
reactive systems
round trip
information flow
model checking
temporal logic
petri net
formal methods
control flow
software engineering
design process
relevance feedback