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