Browse by all authors Browse By Author ID - John Derrick

Browse Results (6 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Smith, G. P. and Derrick, J. (2002). Abstract specification in Object-Z and CSP. In: C. George and H. Miao, Formal Methods And Software Engineering, Proceedings. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, (108-119). 21-25 October, 2002. 114   6
Smith, G. P. and Derrick, J. (2005). Model checking downward simulations. In: J. Derrick and E. Boiten, Proceedings of the REFINE 2005 Workshop. REFINE 2005, Guildford, UK, (205-224). 12 April, 2005. doi:10.1016/j.entcs.2005.04.032 35   Cited 2 times in Scopus2 0
Smith, G and Derrick, J (2001) Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP. Formal Methods In System Design, 18 3: 249-284. doi:10.1023/A:1011269103179 67   23 Cited 32 times in Scopus32 0
Smith, G. P. and Derrick, J. (2001) Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP Brisbane: Software Verification Research Cen. Univ of Qld 43  
Derrick, John and Smith, Graeme P. (2003) Structural refinement of systems specified in object-z and CSP. Formal Aspects of Computing, 15 1: 1-27. doi:10.1007/s00165-003-0002-9 51   Cited 9 times in Scopus9 0
Smith, Graeme and Derrick, John (2006) Verifying data refinements using a model checker. Formal Aspects of Computing, 18 3: 264-287. doi:10.1007/s00165-006-0002-7 47 6 2 Cited 7 times in Scopus7 0