![]() | ![]() |
2009 | ||
---|---|---|
2 | Moritz Balz, Michael Striewe, Michael Goedicke: Embedding Behavioral Models into Object-Oriented Source Code. Software Engineering 2009: 51-62 | |
2008 | ||
1 | Michael Goedicke, Moritz Balz, Michael Striewe: UPPAAL-Modelle als ausführbare Spezifikation in Java. Software Engineering (Workshops) 2008: 212-218 |
1 | Michael Goedicke | [1] [2] |
2 | Michael Striewe | [1] [2] |