From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.

M. Farrell, M. Luckcuck, O. Sheridan, и R. Monahan. REFSQ, том 13216 из Lecture Notes in Computer Science, стр. 96-111. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Cailin Farrell

Ralph Farrell

Charlotte Farrell

Ryan Farrell

Jennifer Farrell

Другие публикации лиц с тем же именем

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration A Position Paper.L. Dennis, M. Farrell, и M. Fisher. CoRR, (2023)A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.M. Luckcuck, M. Farrell, O. Sheridan, и R. Monahan. CoRR, (2021)Using dafny to solve the VerifyThis 2021 challenges.M. Farrell, C. Reynolds, и R. Monahan. FTfJP@ECOOP, стр. 32-38. ACM, (2021)FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller.M. Farrell, M. Luckcuck, O. Sheridan, и R. Monahan. CoRR, (2021)A formal approach to finding inconsistencies in a metamodel.H. Wu, и M. Farrell. Softw. Syst. Model., 20 (4): 1271-1298 (2021)Bridging the gap between single- and multi-model predictive runtime verification.A. Ferrando, R. Cardoso, M. Farrell, M. Luckcuck, F. Papacchini, M. Fisher, и V. Mascardi. Formal Methods Syst. Des., 59 (1): 44-76 (2021)Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.A. Cerone, M. Roggenbach, J. Davenport, C. Denner, M. Farrell, M. Haveraaen, F. Moller, P. Koerner, S. Krings, P. Ölveczky и 3 other автор(ы). CoRR, (2020)Building Specifications in the Event-B Institution.M. Farrell, R. Monahan, и J. Power. CoRR, (2021)Why just FRET when you can Refactor? Retuning FRETISH Requirements.M. Luckcuck, M. Farrell, и O. Sheridan. CoRR, (2022)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.A. Cerone, M. Roggenbach, J. Davenport, C. Denner, M. Farrell, M. Haveraaen, F. Moller, P. Körner, S. Krings, P. Ölveczky и 3 other автор(ы). FMFun, том 1301 из Communications in Computer and Information Science, стр. 1-26. Springer, (2019)

BibSonomy

Disambiguation