Jonathan Schmidt

According to our database, Jonathan Schmidt authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

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

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

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019