| 2008 |
|---|
| 4 | EE | Michael Möller,
Ernst-Rüdiger Olderog,
Holger Rasch,
Heike Wehrheim:
Integrating a formal method into a software engineering process with UML and Java.
Formal Asp. Comput. 20(2): 161-204 (2008) |
| 2004 |
|---|
| 3 | EE | Michael Möller,
Ernst-Rüdiger Olderog,
Holger Rasch,
Heike Wehrheim:
Linking CSP-OZ with UML and Java: A Case Study.
IFM 2004: 267-286 |
| 2002 |
|---|
| 2 | EE | Mark Brörkens,
Michael Möller:
Dynamic Event Generation for Runtime Checking using the JDI.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
| 2001 |
|---|
| 1 | EE | Detlef Bartetzko,
Clemens Fischer,
Michael Möller,
Heike Wehrheim:
Jass - Java with Assertions.
Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
