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: 3.

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

Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! [["eprint_typename_conferenceitem" not defined]]

Grov, Gudmund and Bundy, Alan and Jones, Cliff B. and Ireland, Andrew (2010) The AI4FM approach for automation within formal methods. [["eprint_typename_conferenceitem" not defined]]

This list was generated on Fri Aug 18 07:49:13 2017 BST.

Deploy-Project - All right reserved