| |
| 2005 | ||
|---|---|---|
| 3 | EE | Simeon Veloudis, Nimal Nissanke: An approach to modelling and analysis of coordinated atomic actions. ETFA 2005 |
| 2000 | ||
| 2 | EE | Simeon Veloudis, Nimal Nissanke: Modelling Coordinated Atomic Actions in Timed CSP. FTRTFT 2000: 228-239 |
| 1998 | ||
| 1 | EE | Simeon Veloudis, Nimal Nissanke: Duration Calculus in the Specification of Safety Requirements. FTRTFT 1998: 103-112 |
| 1 | Nimal Nissanke | [1] [2] [3] |