Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 7.
Blair, Lynne and Blair, Gordon S. and Pang, Jianxiong and Efstratiou, Christos (2001) `Feature' Interactions outside a Telecom Domain. In: Proceedings of ECOOP 2001. Kluwer, B.V., Deventer, The Netherlands pp. 233-248. (Full text available) |
Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods (IFM 2000). Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8. (Full text available) |
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) |
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) |
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) |
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. FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI. North-Holland Publishing Co., Netherlands, 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) |