From f5e802e2a6ee52981da7d81852fd1a6bb1b51f3c Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 27 Feb 2025 17:33:24 -0500 Subject: [PATCH] vault backup: 2025-02-27 17:33:24 --- 201 Metadata/My Library.bib | 41 +++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 11af84d85..31dcbd144 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -2158,6 +2158,20 @@ Opportunities and Challenges toward Responsible AI.pdf} file = {/home/danesabo/Zotero/storage/V4AZ95G2/Chap4_System_Representation_S2020.pdf 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS.pdf} } +@online{CH6_S2025_Filledpdf2254ME, + title = {{{CH6}}\_{{S2025}}\_{{Filled}}.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}}, + url = {https://canvas.pitt.edu/courses/301794/files/19865796?module_item_id=5570801}, + urldate = {2025-02-27}, + file = {/home/danesabo/Zotero/storage/JIE6J3MB/CH6_S2025_Filled.pdf 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS.pdf;/home/danesabo/Zotero/storage/5ZDFVWKB/19865796.html} +} + +@online{CH8_S2025_PPT_Filledpdf2254ME, + title = {{{CH8}}\_{{S2025}}\_{{PPT}}\_{{Filled}}.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}}, + url = {https://canvas.pitt.edu/courses/301794/files/19953148?module_item_id=5580621}, + urldate = {2025-02-27}, + file = {/home/danesabo/Zotero/storage/94FDB47U/CH8_S2025_PPT_Filled.pdf 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS.pdf} +} + @incollection{championKindModelChecker2016, title = {The {{Kind}} 2 {{Model Checker}}}, booktitle = {Computer {{Aided Verification}}}, @@ -7246,6 +7260,19 @@ Regulatory Premises.pdf} file = {/home/danesabo/Zotero/storage/NRS6A7PT/Lamarsh and Baratta - 2018 - Introduction to nuclear engineering.pdf} } +@book{lamportSpecifyingSystemsTLA2003, + title = {Specifying Systems: The {{TLA}}+ Language and Tools for Hardware and Software Engineers}, + shorttitle = {Specifying Systems}, + author = {Lamport, Leslie}, + date = {2003}, + publisher = {Addison-Wesley}, + location = {Boston, Mass.}, + isbn = {978-0-321-14306-8}, + langid = {english}, + pagetotal = {364}, + file = {/home/danesabo/Zotero/storage/BQR2M725/Lamport - 2003 - Specifying systems the TLA+ language and tools for hardware and software engineers.pdf} +} + @article{langFormalVerificationApplied, title = {Formal {{Veriļ¬cation Applied}} to {{Autonomous Spacecraft Attitude Control}}}, author = {Lang, Kendra and Klett, Corbin and Hawkins, Kelsey and Feron, Eric and Tsiotras, Panagiotis and Phillips, Sean}, @@ -7326,6 +7353,13 @@ Regulatory Premises.pdf} file = {/home/danesabo/Zotero/storage/KW86DCFW/adam.math.hhu.de.html} } +@online{LearningTLA, + title = {Learning {{TLA}}+}, + url = {https://lamport.azurewebsites.net/tla/learning.html}, + urldate = {2025-02-27}, + file = {/home/danesabo/Zotero/storage/NP5P569H/learning.html} +} + @online{LearnYouHaskell, title = {Learn {{You}} a {{Haskell}} for {{Great Good}}!}, url = {http://learnyouahaskell.com/}, @@ -11971,6 +12005,13 @@ Subject\_term: Careers, Politics, Policy}, file = {/home/danesabo/Zotero/storage/277ZC3YA/spaceex.imag.fr.html} } +@online{SpecifyingSystems, + title = {Specifying {{Systems}}}, + url = {https://lamport.azurewebsites.net/tla/book.html?back-link=learning.html#book}, + urldate = {2025-02-27}, + file = {/home/danesabo/Zotero/storage/IGDN4KVB/Specifying Systems.pdf;/home/danesabo/Zotero/storage/PKCR2BP8/book.html} +} + @online{SpeedgoatRealTimeSimulation, title = {Speedgoat - {{Real-Time Simulation}} and {{Testing}}}, url = {https://www.speedgoat.com/},