Formalising Control in Robust Spoken Dialogue Systems
| Type of publication: | Inproceedings |
| Citation: | sefm05 |
| Booktitle: | Software Engineering and Formal Methods 2005 |
| Series: | IEEE |
| Year: | 2005 |
| Pages: | 332-341 |
| Publisher: | IEEE Computer Society |
| ISBN: | 0-7695-2435-4 |
| Userfields: | project={I3-SharC}, status={Reviewed}, |
| Keywords: | Formal methods dialogue systems |
| Authors | |
| Editors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
