This site has been permanently archived. This is a static copy provided by the University of Southampton.

Industrial deployment of system engineering methods providing high dependability and productivity
 

Rabin's Choice Coordination Development (qualitative reasoning)

Yilmaz, Emre and Hoang, Thai Son Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive]

This is the latest version of this item.

[img] ZIP Archive (Rabin Choice Coordination Algorithm)
324Kb

Abstract

For Rodin 2.3.0 and Qualitative Probability plug-in 0.2.1

Item Type:Rodin Archive
Additional Information:For Rodin 2.3.0 and Qualitative Probability plug-in 0.2.1
Subjects:Methodology > Other
Tool developments > Rodin plug-ins
ID Code:358
Deposited By: Thai Son Hoang
Deposited On:23 Nov 2011 15:46
Last Modified:23 Nov 2011 15:46

Available Versions of this Item

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