| 2008 |
|---|
| 3 | EE | Jozef Hooman,
Hillel Kugler,
Iulian Ober,
Angelika Votintseva,
Yuri Yushtein:
Supporting UML-based development of embedded systems by formal techniques.
Software and System Modeling 7(2): 131-155 (2008) |
| 2005 |
|---|
| 2 | EE | Werner Damm,
Bernhard Josko,
Amir Pnueli,
Angelika Votintseva:
A discrete-time UML semantics for concurrency and communication in safety-critical applications.
Sci. Comput. Program. 55(1-3): 81-115 (2005) |
| 2002 |
|---|
| 1 | EE | Werner Damm,
Bernhard Josko,
Amir Pnueli,
Angelika Votintseva:
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
FMCO 2002: 71-98 |
