СТ |
Improving Hazard Classification through the Reuse of Descriptive Arguments |
2002 |
Smith S. P., Harrison M. D. |
|
|
|
Lecture Notes in Computer Science |
17.05.2002 |
СТ |
Prototyping Pre-implementation Designs of Virtual Environment Behaviour |
2001 |
Willans J. S., Harrison M. D. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
СТ |
A Review of Formalisms for Describing Interactive Behaviour |
1995 |
Harrison M. D., Duke D. J. |
|
|
|
Lecture Notes in Computer Science |
15.04.1995 |
СТ |
From Formal Models to Formal Methods |
1995 |
Duke D. J., Harrison M. D. |
|
|
|
Lecture Notes in Computer Science |
15.04.1995 |
СТ |
A Theory of Presentations |
1994 |
Duke D. J., Harrison M. D. |
|
|
|
Lecture Notes in Computer Science |
09.12.1994 |