Domain-Specific Languages for Requirements Modelling (with a focus on IMA Separation Kernels)

File Type:

PDF

Item Type:

Conference Paper

Date:

2017

Author:

Butterfield, Andrew

Access:

openAccess

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

Download Item:

  (Pre-print (author's copy) - Non-Peer Reviewed)  100.1Kb

URI:

https://hdl.handle.net/2262/109056

Author's Homepage:

http://people.tcd.ie/butrfeld

Description:

PUBLISHED
Gothenburg, Sweden

Author: Butterfield, Andrew

Other Titles:

DASIA 2017 DAta Systems In Aerospace

Type of material:

Conference Paper

URI:

https://hdl.handle.net/2262/109056

Collections

• Computer Science (Scholarly Publications)

Availability:

Full text available

Subject (TCD):

Aerospace Technology , Aircraft Avionics , Computer Operating Systems , Formal Methods , Formal Semantics

Metadata

Show full item record