| dc.contributor.author | Butterfield, Andrew | en |
| dc.date.accessioned | 2024-08-19T15:54:16Z | |
| dc.date.available | 2024-08-19T15:54:16Z | |
| dc.date.created | June 6-8th 2023 | en |
| dc.date.issued | 2023 | en |
| dc.date.submitted | 2023 | en |
| dc.identifier.citation | Andrew Butterfield, Deploying Promela/Spin-based test generation on RTEMS: A progress report, DASIA (Data Systems in Eurospace), Sitges, Spain, June 6-8th 2023, ASD Eurospace, 2023, 6 | en |
| dc.identifier.other | Y | en |
| dc.description | PUBLISHED | en |
| dc.description | see https://eurospace.org/dasia-conference-aspx/ | en |
| dc.description | Sitges, Spain | en |
| dc.format.extent | 6 | en |
| dc.publisher | ASD Eurospace | en |
| dc.rights | Y | en |
| dc.title | Deploying Promela/Spin-based test generation on RTEMS: A progress report | en |
| dc.title.alternative | DASIA (Data Systems in Eurospace) | en |
| dc.type | Conference Paper | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | en |
| dc.identifier.rssinternalid | 269255 | en |
| dc.rights.ecaccessrights | openAccess | |
| dc.subject.TCDTag | Formal (i.e. mathematical) Methods In Computer Science | en |
| dc.subject.TCDTag | Program Verification | en |
| dc.subject.TCDTag | SOFTWARE TESTING | en |
| dc.identifier.orcid_id | 0000-0002-2337-2101 | en |
| dc.identifier.uri | https://hdl.handle.net/2262/109054 | |
