![]() | ![]() |
2008 | ||
---|---|---|
3 | EE | Jens Schönborn, Marcel Kyas: A Theory of Bounded Fair Scheduling. ICTAC 2008: 334-348 |
2006 | ||
2 | EE | Harald Fecher, Jens Schönborn: UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC 2006: 244-260 |
2005 | ||
1 | EE | Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever: 29 New Unclarities in the Semantics of UML 2.0 State Machines. ICFEM 2005: 52-65 |
1 | Harald Fecher | [1] [2] |
2 | Marcel Kyas | [1] [3] |
3 | Willem P. de Roever | [1] |