![]() | ![]() |
2004 | ||
---|---|---|
3 | EE | Karsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143 |
2 | EE | Karsten Diethers, Bernd Finkemeyer, Nnamdi Kohn: Middleware zur Realisierung offener Steuerungssoftware für hochdynamische Prozesse (Realizing Open Control Software for High Dynamic Processes with a Middleware). it - Information Technology 46(1): 39-47 (2004) |
1999 | ||
1 | Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660 |
1 | Bernd Finkemeyer | [2] |
2 | Thomas Firley | [1] |
3 | Thomas Gehrke | [1] |
4 | Ursula Goltz | [1] |
5 | Michaela Huhn | [1] [3] |
6 | Nnamdi Kohn | [2] |