Industrial deployment of system engineering methods providing high dependability and productivity


Browse by Type

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Wright, Stephen (2009) PhD Thesis: Formal Construction of Instruction Set Architectures. [DEPLOY Interest Group Item] (Unpublished)

Wright, Stephen (2009) MIDAS: A Formally Constructed Virtual Machine. [DEPLOY Interest Group Item] (Unpublished)

This list was generated on Sun Apr 30 07:49:11 2017 BST.

Deploy-Project - All right reserved