GlobalView

Dibley, James

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Authors: Dibley, James
Date: 2019
Language: English
Type: text
Identifier: http://hdl.handle.net/10962/72329
Description: This work proposes and demonstrates a novel method for software development that applies formal verification techniques to the design and implementation of concurrent programs. This method is supporte ... More
Full Text: Full Text
Authors: Dibley, James
Date: 2014
Language: English
Type: Thesis
Identifier: vital:4694
Description: This thesis investigates the feasiblity of using a new microcontroller architecture, the XMOS XS1, in the research and development of control standards for audio distribution networks. This investigat ... More
Full Text: Full Text
  • First
  • Previous
  • 1
  • Next
  • Last