Industrial deployment of system engineering methods providing high dependability and productivity

Browse by Type

Number of items: 4.

Russo Jr, Aryldo G and de Sousa, Thiago (2010) Starting B Specifications from Use Cases. [DEPLOY Associate Item] (Unpublished)

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)

Russo Jr, Aryldo G DA Associate Program - AeS Proposal Ongoing development. [DEPLOY Associate Item]

Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item]

This list was generated on Wed Jan 17 07:49:30 2018 GMT.

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved