dc.contributor.author | Butterfield, Andrew | en |
dc.date.accessioned | 2024-08-19T16:06:15Z | |
dc.date.available | 2024-08-19T16:06:15Z | |
dc.date.created | 30th May - 1st June | en |
dc.date.issued | 2017 | en |
dc.date.submitted | 2017 | en |
dc.identifier.citation | Andrew Butterfield, Ciaran Costello, Domain-Specific Languages for Requirements Modelling (with a focus on IMA Separation Kernels), DASIA 2017 DAta Systems In Aerospace, Gothenburg, Sweden, 30th May - 1st June, 2017, 1 - 5 | en |
dc.identifier.other | Y | en |
dc.description | PUBLISHED | en |
dc.description | Gothenburg, Sweden | en |
dc.format.extent | 1 | en |
dc.format.extent | 5 | en |
dc.language.iso | en | en |
dc.rights | Y | en |
dc.title | Domain-Specific Languages for Requirements Modelling (with a focus on IMA Separation Kernels) | en |
dc.title.alternative | DASIA 2017 DAta Systems In Aerospace | 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 | 182117 | en |
dc.rights.ecaccessrights | openAccess | |
dc.subject.TCDTag | Aerospace Technology | en |
dc.subject.TCDTag | Aircraft Avionics | en |
dc.subject.TCDTag | Computer Operating Systems | en |
dc.subject.TCDTag | Formal Methods | en |
dc.subject.TCDTag | Formal Semantics | en |
dc.identifier.orcid_id | 0000-0002-2337-2101 | en |
dc.status.accessible | N | en |
dc.identifier.uri | https://hdl.handle.net/2262/109056 | |