Freely available research or teaching related files. For more detailed information on copyright and possible license conditions, please refer to the respective file.
Norm-regulated Transition System Situations
Java/Prolog implementation of Norm-regulated Transition System Situations. Download source code from the Bentham folder or from Sourceforge External link..
| File type icon | Filename | File size | File upload date |
|---|---|---|---|
| Previous | |||
| Log 2014-10-01 20.57.xlsx Xlsx, 27 kB. | 27 kB | 2024-12-09 10.16 | |
| dnrDALMAS.zip Zip, 4.8 MB. | 4.8 MB | 2024-12-09 10.16 | |
| EstatesExample.zip Zip, 164.4 kB. | 164.4 kB | 2024-12-09 10.16 | |
| CleanerDALOAS.zip Zip, 227.3 kB. | 227.3 kB | 2024-12-09 10.16 | |
| EvolutionaryDALMAS.zip Zip, 689 kB. | 689 kB | 2024-12-09 10.16 | |
| NRTSSitServer.zip Zip, 99.4 kB. | 99.4 kB | 2024-12-09 10.16 | |
| NRTSSitClient.zip Zip, 172.1 kB. | 172.1 kB | 2024-12-09 10.16 | |
