![]() | ![]() |
2004 | ||
---|---|---|
2 | EE | Robert M. Hierons, T.-H. Kim, Hasan Ural: On the testability of SDL specifications. Computer Networks 44(5): 681-700 (2004) |
2002 | ||
1 | EE | Robert M. Hierons, T.-H. Kim, Hasan Ural: Expanding an Extended Finite State Machine to aid Testability. COMPSAC 2002: 334-342 |
1 | Robert M. Hierons | [1] [2] |
2 | Hasan Ural | [1] [2] |