|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analyzing Cockpit Interfaces Using Formal Methods |
Rushby, John |
2001 |
43 | C |
p. 1-14 14 p. |
artikel |
|
| 2 | Can American Checkers be Solved by Means of Symbolic Model Checking? |
Baldamus, Michael |
2001 |
43 | C |
p. 15-33 19 p. |
artikel |
|
| 3 | CTML: |
Tonfoni, Graziella |
2001 |
43 | C |
p. 152-161 10 p. |
artikel |
|
| 4 | Formal Verification in the Design of Gestural Interaction |
Doherty, G.J. |
2001 |
43 | C |
p. 75-96 22 p. |
artikel |
|
| 5 | Grammatical Specification in ASL: |
Newton, Michael |
2001 |
43 | C |
p. 136-151 16 p. |
artikel |
|
| 6 | Preface |
Bowman, Howard |
2001 |
43 | C |
p. 162-163 2 p. |
artikel |
|
| 7 | Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers |
Shilov, N.V. |
2001 |
43 | C |
p. 34-49 16 p. |
artikel |
|
| 8 | Syndetic Modelling: |
Duce, D.A. |
2001 |
43 | C |
p. 50-74 25 p. |
artikel |
|
| 9 | The N-Body Problem in Lotos |
Turner, Kenneth J. |
2001 |
43 | C |
p. 113-135 23 p. |
artikel |
|
| 10 | Towards Integrated Cognitive and Interface Analysis |
Bowman, Howard |
2001 |
43 | C |
p. 97-112 16 p. |
artikel |
10 gevonden resultaten