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 Wed Jan 17 07:49:33 2018 GMT.
Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved