Industrial deployment of system engineering methods providing high dependability and productivity

 

Learning from an expert's proof: AI4FM

Freitas, Leo and Jones, Cliff B. (2010) Learning from an expert's proof: AI4FM. [["eprint_typename_conferenceitem" not defined]]

Full text not available from this repository.

Official URL: http://fm.csl.sri.com/UV10/submissions/uv2010submission18.pdf


Item Type:["eprint_typename_conferenceitem" not defined]
Subjects:UNSPECIFIED
ID Code:279
Deposited By:Prof Cliff Jones
Deposited On:10 Feb 2011 13:57
Last Modified:10 Feb 2011 13:57

Repository Staff Only: item control page

Deploy-Project - All right reserved