モデルファイルを上げておきます。
|
---|
|
models/Alloy/InventoryManagement.als 0 → 100644 |
---|
models/Alloy/SimpleTwitter.als 0 → 100644 |
---|
models/DTRAM/InventoryManagement.dtram 0 → 100644 |
---|
models/DTRAM/SimpleTwitter.dtram 0 → 100644 |
---|