Other Journal Details
Mandatory Fields
Matt Luckcuck and Marie Farrell and Oisín Sheridan and Rosemary Monahan
2021
January
arXiv:2110.09277 [cs.SE]
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
Published
0
Optional Fields
Grant Details