Kirwan, R., Miller, A. and Porr, B. (2016) Model checking learning agent systems using Promela with embedded C code and abstraction. [Data Collection]
Datacite DOI: 10.5525/gla.researchdata.310
Related Enlighten Publications
| College / School: | College of Science and Engineering > School of Computing Science College of Science and Engineering > School of Engineering > Biomedical Engineering |
|---|---|
| Date Deposited: | 27 Apr 2016 15:06 |
| Enlighten Publications URL: | http://eprints.gla.ac.uk/118815/ |
| URI: | https://researchdata.gla.ac.uk/id/eprint/310 |
Available Files
Data
Documentation
Read me
Repository Staff Only: Update this record