Formal methods dialogue systems
|
|
Publications for keyword "Formal methods dialogue systems"
2005
| , and , Formalising Control in Robust Spoken Dialogue Systems, in: Software Engineering and Formal Methods 2005, pages 332-341, IEEE Computer Society, 2005 |