2005 | ||
---|---|---|
2 | EE | Subash Shankar, Sinan Asa, Vladimir Sipos, Xiaowei Xu: Reasoning about real-time statecharts in the presence of semantic variations. ASE 2005: 243-252 |
2003 | ||
1 | EE | Subash Shankar, Sinan Asa: Formal Semantics of UML with Real-Time Constructs. UML 2003: 60-75 |
1 | Subash Shankar | [1] [2] |
2 | Vladimir Sipos | [2] |
3 | Xiaowei Xu | [2] |