Deploy Repository: No conditions. Results ordered -Date.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:24:07 +0000Wed, 17 Jan 2018 12:24:07 +0000en Starting B Specifications from Use Cases
http://deploy-eprints.ecs.soton.ac.uk/211/
Russo Jr, Aryldo G and de Sousa, Thiago (2010) Starting B Specifications from Use Cases. [DEPLOY Associate Item] (Unpublished) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East
http://deploy-eprints.ecs.soton.ac.uk/169/
Russo Jr, Aryldo G (2009) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East. [DEPLOY Associate Item] (Submitted) DA Associate Program - AeS Proposal Ongoing development
http://deploy-eprints.ecs.soton.ac.uk/212/
Russo Jr, Aryldo G DA Associate Program - AeS Proposal Ongoing development. [DEPLOY Associate Item] A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor
http://deploy-eprints.ecs.soton.ac.uk/346/
Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item]