Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive]
This is the latest version of this item.
ZIP Archive (Herman probabilistic self-stabilization)
112Kb |
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: | Training > Rodin plug-ins Event-B > Event-B Examples |
ID Code: | 359 |
Deposited By: | Thai Son Hoang |
Deposited On: | 23 Nov 2011 15:48 |
Last Modified: | 23 Nov 2011 15:48 |
Available Versions of this Item
-
Herman's probabilistic self-stabilization development. (deposited 08 Sep 2011 14:27)
-
Herman's probabilistic self-stabilization development (qualitative reasoning). (deposited 16 Sep 2011 23:18)
- Herman's probabilistic self-stabilization development (qualitative reasoning). (deposited 23 Nov 2011 15:48) [Currently Displayed]
-
Herman's probabilistic self-stabilization development (qualitative reasoning). (deposited 16 Sep 2011 23:18)
Repository Staff Only: item control page