Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive]
 | There is a more recent version of this item available. |
![[img]](../style/images/fileicons/application_zip.png) |
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
