|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Composition and synthesis with a formal interactor model |
Markopoulos, Panos |
1997 |
9 | 2 |
p. 197-223 27 p. |
artikel |
|
| 2 | Formal reasoning about dialogue properties with automatic support |
Paterno', Fabio |
1997 |
9 | 2 |
p. 173-196 24 p. |
artikel |
|
| 3 | Full length article |
1997 |
9 | 2 |
p. 105-110 6 p. |
artikel |
||
| 4 | Human–formalism interaction: Studies in communication through formalism |
Stenning, Keith |
1997 |
9 | 2 |
p. 111-128 18 p. |
artikel |
|
| 5 | Synergistic modelling of tasks, users and systems using formal specification techniques |
Palanque, Philippe |
1997 |
9 | 2 |
p. 129-153 25 p. |
artikel |
|
| 6 | Using the template model to analyse directory visualisation |
Roast, Chris |
1997 |
9 | 2 |
p. 155-172 18 p. |
artikel |
6 gevonden resultaten