Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design.

Benedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph

Browse the full MODELSWARD paper archive.