Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 6.
Article
| Blair, Lynne and Blair, Gordon S. and Bowman, Howard and Chetwynd, Amanda G. (1995) Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces, 17 (5-6). pp. 413-436. ISSN 0920-5489. (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) |
| Harris, R. and Walsh, J. and Renshaw, E. and Everett, M. and Whitehead, John and Collett, C. and Mead, R. and Cannings, C and Farwell, R.S. and Gardiner, T. and Salinger, D.L and Collinson, C and Cornish, F.H.J. and Barnett, S. and Adcock, C.J. and McDonnell, J.H. and Maher, P. and Hirst, K. and Holgate, P. and Chetwynd, Amanda G. and Diggle, P.J. and Ford, I. and Gilchrist, R. and Glazebrook, K.D. and Greenfield, T. and Jagger, J.M. and Jolliffe, Flavia and Kimber, A. and Sweeting, T. and McKelvie, K. and Moore, P.G. and Preece, Donald A. and Rennolls, K. and Teather, C. and Jones, David Wynne and Light, W. and Thompson, J.W. and Walters, J.R. and Neumann, P.M. and Wynn, Henry P. (1992) The Future for Honors Degree Courses in Mathematics - Statistics Degree Courses - Discussion. Journal of the Royal Statistical Society: Series A (Statistics in Society), 155 . pp. 197-220. ISSN 0964-1998. (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) |
Conference or workshop item
| Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Hutchison, D. and Danthine, A. and Leopold, H. and Coulson, G., eds. Multimedia Transport and Teleservices, International COST 237 Workshop. Lecture Notes in Computer Science, 882. Springer-Verlag pp. 145-167. ISBN 3-540-58759-4. (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) |
| Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1993) Time Versus Abstraction In Formal Description. In: Tenney, Richard L. and Amer, Paul D. and Uyar, M.Umit, eds. Formal Description Techniques, Vi. Elsevier Science Publ B V pp. 467-482. ISBN 0-444-81773-5. (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) |
Book
| Blair, Gordon S. and Blair, Lynne and Bowman, Howard and Chetwynd, Amanda G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4. (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) |
Review
| Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1995) Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977. ISSN 0140-3664. (doi:https://doi.org/10.1016/0140-3664(96)81596-9) (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) |
