diff --git a/200 Library Papers/lozadaHARDENSFinalReport.md b/200 Library Papers/lozadaHARDENSFinalReport.md new file mode 100644 index 000000000..1d410cc82 --- /dev/null +++ b/200 Library Papers/lozadaHARDENSFinalReport.md @@ -0,0 +1,28 @@ +--- +readstatus: false +dateread: +title: "HARDENS Final Report" +year: Error: `format` can only be applied to dates. Tried for format object +authors: + + - "Lozada, Gascot" + citekey: "lozadaHARDENSFinalReport" +journal: "" +--- +# Indexing Information +## Tags: + +- ["] HARDENS Final Report #Reading + +>[!seealso] Related Papers +> + +# Annotations +## Notes + +>[!attention] Highlight +> 5.3 The Reactor Trip System’s Goals The goals of the are explicitly stated on the first page of the RFP. We manually highlight those declarations and transliterate them into a specification written in the Lando system specification language (see appendix A). + +## Follow-Ups + +### Imported: 2025-03-11 1:20 pm