Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 3.
| Kent, Stuart and Mailbaum, T.S.E. and Quirk, W. (1993) Formally Specifying Temporal Constraints and Error Recovery. In: Proceedings of IEEE First International Symposium on Requirements Engineering (RE93). IEEE Xplore, San Diego pp. 208-215. ISBN 0-8186-3120-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Fiadeiro, J. and Goldsack, Stephen J. and Kent, Stuart and Quirk, W. (1992) Design Issues in Structured MAL. In: FOREST Research Deliverable Report WP1.R2. Dept of Computing, Imp College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kent, Stuart and Mailbaum, T. and Quirk, W. (1992) Specifying Deontic Behaviour in Modal Action Logic. In: FOREST Research Deliverable Report WP1.R2. Imperial College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
