Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan. FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. In Vincenzo Gervasi, Andreas Vogelsang, editors, Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings. Volume 13216 of Lecture Notes in Computer Science, pages 96-111, Springer, 2022. [doi]
@inproceedings{FarrellLSM22,
title = {FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller},
author = {Marie Farrell and Matt Luckcuck and Oisín Sheridan and Rosemary Monahan},
year = {2022},
doi = {10.1007/978-3-030-98464-9_9},
url = {https://doi.org/10.1007/978-3-030-98464-9_9},
researchr = {https://researchr.org/publication/FarrellLSM22},
cites = {0},
citedby = {0},
pages = {96-111},
booktitle = {Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings},
editor = {Vincenzo Gervasi and Andreas Vogelsang},
volume = {13216},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-98464-9},
}