Industrial deployment of system engineering methods providing high dependability and productivity
 

Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation

Yeganefard, Sanaz and Butler, Michael (2011) Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. Technical Report. University of Southampton. (Unpublished)

Full text not available from this repository.

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


Item Type:Monograph (Technical Report)
Subjects:Methodology > Requirements and evolution
ID Code:296
Deposited By:Michael Butler
Deposited On:24 Feb 2011 13:43
Last Modified:24 Feb 2011 13:43

Repository Staff Only: item control page

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