Hanna Dettki

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Business Processes

Functional Requirements

Visual Features

Top Venues

Publications

Benedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph
Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design. MODELSWARD (2019)