Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item | Book | Review

Number of items: 6.

Article

Blair, L. and Blair, G.S. and Bowman, H. and Chetwynd, A.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 available from this repository.

Conference or workshop item

Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings. Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8.

Preview

Preview

Bowman, H. and Blair, L. and Blair, G.S. and Chetwynd, A.G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Multimedia Transport and Teleservices, International COST 237 Workshop. The full text of this publication is not available from this repository.

Bowman, H. and Blair, G.S and Blair, L. and Chetwynd, A.G. (1993) Time Versus Abstraction In Formal Description. In: FORTE 93 - IFIP 6th International Conference on Formal Description Techniques, Boston, Ma. The full text of this publication is not available from this repository.

Book

Blair, G.S. and Blair, L. and Bowman, H. and Chetwynd, A.G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4 PB. The full text of this publication is not available from this repository.

Review

Bowman, H. and Blair, G.S and Blair, L. and Chetwynd, A.G. (1995) Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977. ISSN 0140-3664. The full text of this publication is not available from this repository.

This list was generated on Fri May 24 18:39:47 2013 BST.