Industrial deployment of system engineering methods providing high dependability and productivity
 

Items where Year is 2013

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Romanovsky, Alexander and Thomas, Martyn (2013) Industrial deployment of system engineering methods providing high dependability and productivity. Springer. (In Press)

Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive]

This list was generated on Wed Jan 17 07:49:08 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