From 2e5369f430c910196a197dcbe67cd7e36c9a8c80 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 11 Mar 2025 13:22:42 -0400 Subject: [PATCH] vault backup: 2025-03-11 13:22:42 --- .../lozadaHARDENSFinalReport.md | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 200 Library Papers/lozadaHARDENSFinalReport.md 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