Industrial deployment of system engineering methods providing high dependability and productivity


Refining rely-guarantee thinking

Hayes, Ian J. and Jones, Cliff B. and Colvin, Robert J. (2012) Refining rely-guarantee thinking. Formal Aspects of Computing, (submi . (Submitted)

Full text not available from this repository.

Item Type:Article
ID Code:367
Deposited By: Prof Cliff Jones
Deposited On:13 Feb 2012 10:21
Last Modified:13 Feb 2012 10:21

Repository Staff Only: item control page

Deploy-Project - All right reserved