Skip to main content
Kent Academic Repository

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.

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Duke, David J. and Evans, A.S., eds. BCS-FACS Northern formal methods Workshop. Workshops in Computing, 2. Springer-Verlag ISBN 3-540-76215-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)

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing. Springer-Verlag ISBN 3-540-76215-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)

Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, Phil (1997) A comparison of real-time formal specification languages. In: Duke, David J. and Evans, A.S., eds. Proceedings of the Northern Formal Methods Workshop, Ilkley, September 1996. Electronic Workshops in Computer Science. Springer Verlag ISBN 3-540-76117-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)

This list was generated on Mon May 13 21:02:52 2019 BST.