Marie Farrell
发表
Carsten Maple,
Clare Dixon,
Matthew Bradbury,
2020,
2020 IEEE Aerospace Conference.
James F. Power,
Marie Farrell,
Rosemary Monahan,
2017,
ICFEM.
Michael Fisher,
Marie Farrell,
Matt Luckcuck,
2018,
IFM.
James F. Power,
Marie Farrell,
Rosemary Monahan,
2016,
WADT.
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.
Marie Farrell,
2010
.
Clare Dixon,
Michael Fisher,
Matthew Bradbury,
2019,
SEFM.
James F. Power,
Marie Farrell,
Rosemary Monahan,
2017,
SEFM.
Angelo Ferrando,
Marie Farrell,
Michael Fisher,
2020,
NFM.
Clare Dixon,
Michael Fisher,
Marie Farrell,
2018,
ACM Comput. Surv..
James F. Power,
Marie Farrell,
Rosemary Monahan,
2016
.
Marie Farrell,
2017
.
Marie Farrell,
2009
.
Clare Dixon,
Marie Farrell,
Louise A. Dennis,
2019,
IFM.
Marie Farrell,
Matt Luckcuck,
2020,
ArXiv.
Marie Farrell,
Matt Luckcuck,
2021,
Electronic Proceedings in Theoretical Computer Science.
Marie Farrell,
Rosemary Monahan,
Matt Luckcuck,
2021,
ArXiv.
Marie Farrell,
Hao Wu,
Hao Wu,
2021,
Software and Systems Modeling.
Angelo Ferrando,
Emily C. Collins,
Clare Dixon,
2021,
Robotics.
Clare Dixon,
Marie Farrell,
Michael Fisher,
2021,
Current Robotics Reports.
Marie Farrell,
Michael Fisher,
Guillaume Brat,
2021,
NFM.
Marie Farrell,
Rosemary Monahan,
James F. Power,
2021,
ArXiv.
Marie Farrell,
Hao Wu,
M. Farrell,
2019,
FMFun.
Marie Farrell,
Rosemary Monahan,
Matt Luckcuck,
2022,
ArXiv.
Marie Farrell,
Rosemary Monahan,
Matt Luckcuck,
2021,
2022 IEEE Aerospace Conference (AERO).