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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Conference or workshop item

Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, NOV 19-21, 2003, PARIS, FRANCE. (Full text available)
[img]
Preview

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Thu Oct 2 03:30:25 2014 BST.