Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive]
![]() | There is a more recent version of this item available. |
![]() |
ZIP Archive (Herman's probabilistic self-stabilization)
109Kb |
Abstract
For Rodin 2.2.2 and Qualitative Probability plug-in 0.2.0
Item Type: | Rodin Archive |
---|---|
Additional Information: | For Rodin 2.2.2 and Qualitative Probability plug-in 0.2.0 |
Subjects: | Training > Rodin plug-ins Event-B > Event-B Examples |
ID Code: | 339 |
Deposited By: | Thai Son Hoang |
Deposited On: | 16 Sep 2011 23:18 |
Last Modified: | 16 Sep 2011 23:21 |
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) [Currently Displayed]
Repository Staff Only: item control page