Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 3.
2003
Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: Najm, Elie and Nestmann, Uwe and Stevens, Perdita, eds. FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. Lecture Notes in Computer Science, 2884. Springer pp. 276-292. ISBN 3-540-20491-1. (Full text available) |
1996
Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, Paris pp. 399-406. ISBN 0-412-79770-4. (Full text available) |
Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall pp. 189-204. ISBN 0-412-79770-4. (Full text available) |