danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-03-11 13:22:42

Browse Source
This commit is contained in:
Dane Sabo 2025-03-11 13:22:42 -04:00
parent d3a093ed06
commit 2e5369f430
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
200 Library Papers/lozadaHARDENSFinalReport.md Normal file
View File

@ -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