Industrial deployment of system engineering methods providing high dependability and productivity

 

Splitting atoms with rely/guarantee conditions coupled with data reification.

Jones, Cliff B and Pierce, Ken G (2008) Splitting atoms with rely/guarantee conditions coupled with data reification. In: ABZ2008. Springer, LNCS, pp. 360-377.

[img]PDF - Published Version
Restricted to Registered users only

323Kb

Item Type:Book Section
Subjects:Methodology
ID Code:176
Deposited By:Miss Jodi Hossbach
Deposited On:12 Jan 2010 10:10
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved