![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| transformations.aadl | 16-Apr-2020 12:20 | 830 | |
| replication_properties.aadl | 16-Apr-2020 12:20 | 1.6K | |
| deployment.aadl | 16-Apr-2020 12:20 | 3.7K | |
| ocarina_config.aadl | 16-Apr-2020 12:20 | 3.7K | |
| pok_properties.aadl | 16-Apr-2020 12:20 | 4.6K | |
| assert_properties.aadl | 16-Apr-2020 12:20 | 5.7K | |
| taste_properties.aadl | 16-Apr-2020 12:20 | 7.5K | |
| Cheddar_Properties.aadl | 20-Apr-2021 11:48 | 14K | |