Other Journal Details
Mandatory Fields
Marie Farrell and Matt Luckcuck and Oisin Sheridan and Rosemary Monahan
2022
January
arXiv:2112.04251 [cs.SE]
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
Published
0
Optional Fields
Grant Details