Art der Veröffentlichung: |
Artikel in Konferenzband |
Autor: |
Hui Shi, Robert Ross, John Bateman |
Herausgeber: |
Bernhard K. Aichernig, Bernhard Beckert |
Titel: |
Formalising Control in Robust Spoken Dialogue Systems |
Buch / Sammlungs-Titel: |
Software Engineering and Formal Methods 2005 |
Seite(n): |
332 – 341 |
Serie / Reihe: |
IEEE |
Erscheinungsjahr: |
2005 |
Verleger: |
IEEE Computer Society |
ISBN: |
0-7695-2435-4 |
Schlagworte: |
Formal methods dialogue systems |
Status: |
Reviewed |
Letzte Aktualisierung: |
24. 04. 2008 |