29 lines
685 B
Markdown
29 lines
685 B
Markdown
---
|
||
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
|