Jonathan Schmidt

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

Jonathan Schmidt, Stephan Rudolph, Benedikt Walter, 2019, MODELSWARD.