From 7d19ab6d6c6c3df2e580e168b9dcd5f7259124f6 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 21 Jul 2025 21:56:01 -0400 Subject: [PATCH] vault backup: 2025-07-21 21:56:01 --- .obsidian/plugins/colored-tags/data.json | 36 +++++++++---------- ...rmal requirements elicitation with FRET.md | 0 2 files changed, 18 insertions(+), 18 deletions(-) create mode 100644 Notes on Papers/Formal requirements elicitation with FRET.md diff --git a/.obsidian/plugins/colored-tags/data.json b/.obsidian/plugins/colored-tags/data.json index 70ea7bcb..66d4cf03 100755 --- a/.obsidian/plugins/colored-tags/data.json +++ b/.obsidian/plugins/colored-tags/data.json @@ -283,24 +283,24 @@ "Instrumentation-and-Control-System": 271, "Small-Modular-Reactor": 272, "Safety": 273, - "Aerospace-control": 274, - "Aircraft": 275, - "Atmospheric-modeling": 276, - "runtime-safety-assurance": 277, - "Unmanned-Aerial-Systems-UAS": 278, - "Autonomous-vehicles": 279, - "Autonomous-vehicle": 280, - "Bayesian-optimization": 281, - "Decision-making": 282, - "drivers": 283, - "Hidden-Markov-models": 284, - "lane-change-decision-making": 285, - "support-vector-machine": 286, - "Support-vector-machines": 287, - "Economics": 288, - "Finance": 289, - "Modularisation": 290, - "Modularity": 291 + "Autonomous-vehicles": 274, + "Autonomous-vehicle": 275, + "Bayesian-optimization": 276, + "Decision-making": 277, + "drivers": 278, + "Hidden-Markov-models": 279, + "lane-change-decision-making": 280, + "support-vector-machine": 281, + "Support-vector-machines": 282, + "Economics": 283, + "Finance": 284, + "Modularisation": 285, + "Modularity": 286, + "Aerospace-control": 287, + "Aircraft": 288, + "Atmospheric-modeling": 289, + "runtime-safety-assurance": 290, + "Unmanned-Aerial-Systems-UAS": 291 }, "_version": 3 } \ No newline at end of file diff --git a/Notes on Papers/Formal requirements elicitation with FRET.md b/Notes on Papers/Formal requirements elicitation with FRET.md new file mode 100644 index 00000000..e69de29b