Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines

Stannett, M.P. orcid.org/0000-0002-2794-8614 (2014) Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43 (7). pp. 713-721. ISSN 0308-1079

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: This is an Accepted Manuscript of an article published by Taylor & Francis in International Journal of General Systems on 10 Jun 2014, available online: http://dx.doi.org/10.1080/03081079.2014.924203
Keywords: unconventional computation; hypercomputation; X-machine; verification; testing; theoretical computer science; SXM testing; heterotic computing
Dates:
  • Published: 10 June 2014
  • Accepted: 21 August 2013
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 13 Sep 2016 09:54
Last Modified: 21 Mar 2018 10:43
Published Version: http://www.tandfonline.com/doi/full/10.1080/030810...
Status: Published
Publisher: Taylor & Francis
Refereed: Yes
Identification Number: https://doi.org/10.1080/03081079.2014.924203

Share / Export

Statistics