smyalygames/checklist-tester
1
0
Fork 0
mirror of https://github.com/smyalygames/checklist-tester.git synced 2025-05-18 14:34:12 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

feat(dissertation): add abstract

Browse Source
This commit is contained in:
Anthony Berg 2024-05-22 15:14:44 +01:00
parent faaa64b252
commit dacfb65949
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
pub/dissertation/dissertation.pdf
View File

Binary file not shown.

6
pub/dissertation/dissertation.tex
View File

@ -101,8 +101,10 @@ Word Count: \wordcount}
\pagenumbering{roman}
\chapter*{Preface}
\section*{Abstract}
% TODO
This is an abstract.
This project focuses on testing checklists in flight simulators using formal methods,
whilst gathering statistics from the simulator to provide a result on how well the checklist
performed. This dissertation is revolved around the aims and objectives. Parts how the parts
of the problems in designing checklist, research, and development of the Checklist Tester will be covered.
\section*{Declaration}
I declare that this dissertation represents my own work except where otherwise stated.