Travelled to:1 × The Netherlands
Collaborated with:∅ J.He
Talks about:protocol (1) interact (1) formalis (1) hardwar (1) servic (1) inspir (1) voic (1) test (1) sdl (1)
Person: Kenneth J. Turner
DBLP: Turner:Kenneth_J=
Contributed to:
2005
1999Wrote 2 papers:
- IFM-2005-Turner #formal method #interactive
- Formalising Interactive Voice Services with SDL (KJT), pp. 307–326.
- IWTCS-1999-HeT #hardware #testing
- Protocol-Inspired Hardware Testing (JH, KJT), pp. 131–148.