Industrial deployment of system engineering methods providing high dependability and productivity

 

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance

Ireland, Andrew and Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010. (In Press)

Full text not available from this repository.

Official URL: http://eprints.ecs.soton.ac.uk/18422/


Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Proof and model checking
ID Code:193
Deposited By:Michael Butler
Deposited On:27 Jan 2010 17:24
Last Modified:27 Jan 2010 17:24

Repository Staff Only: item control page

Deploy-Project - All right reserved