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: 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-Project - All right reserved