University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Turner, E"

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

Conference or Workshop Item

Treharne, H, Turner, E, Paige, RF and Kolovos, DS (2009) Automatic Generation of Integrated Formal Models Corresponding to UML System Models In: 47th TOOLS EUROPE International Conference 2009, 2009-06-29 - 2009-07-03, Zurich, SWITZERLAND.

Treharne, H, Turner, E, Schneider, S and Evans, N (2008) Object Modelling in the SystemB Industrial Project In: 1st International Conference of Abstract State Machines, B and Z, 2008-09-16 - 2008-09-18, London, ENGLAND.

Turner, E, Treharne, H, Schneider, S and Evans, N (2008) Automatic generation of CSP || B skeletons from xUML models In: ICTAC 2008: 5th International Colloquium, 2008-09-01 - 2008-09-03, Istanbul, Turkey.

Turner, E, Treharne, H, Schneider, S and Evans, N (2008) Automatic generation of CSP||B skeletons from xUML models In: 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), 2008-09-01 - 2008-09-03, Sabanci Univ, Istanbul, TURKEY.

Amiel, SA, Ablett, J, Reid, H, Whyte, MB, Turner, E and Blott, M (2003) Optimised management of diabetic pregnancy reduces fetal loss In: 18th International Diabetes Federation Congress, 2003-08-24 - 2003-08-29.

This list was generated on Wed Nov 22 04:03:03 2017 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800