| 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 |