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

vault backup: 2025-02-27 17:33:24

Browse Source
This commit is contained in:
Dane Sabo 2025-02-27 17:33:24 -05:00
parent 68d29a156f
commit f5e802e2a6
1 changed files with 41 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
201 Metadata/My Library.bib
View File

@ -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} 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, @incollection{championKindModelChecker2016,
title = {The {{Kind}} 2 {{Model Checker}}}, title = {The {{Kind}} 2 {{Model Checker}}},
booktitle = {Computer {{Aided Verification}}}, 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} 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, @article{langFormalVerificationApplied,
title = {Formal {{Verification Applied}} to {{Autonomous Spacecraft Attitude Control}}}, title = {Formal {{Verification Applied}} to {{Autonomous Spacecraft Attitude Control}}},
author = {Lang, Kendra and Klett, Corbin and Hawkins, Kelsey and Feron, Eric and Tsiotras, Panagiotis and Phillips, Sean}, 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} 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, @online{LearnYouHaskell,
title = {Learn {{You}} a {{Haskell}} for {{Great Good}}!}, title = {Learn {{You}} a {{Haskell}} for {{Great Good}}!},
url = {http://learnyouahaskell.com/}, url = {http://learnyouahaskell.com/},
@ -11971,6 +12005,13 @@ Subject\_term: Careers, Politics, Policy},
file = {/home/danesabo/Zotero/storage/277ZC3YA/spaceex.imag.fr.html} 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, @online{SpeedgoatRealTimeSimulation,
title = {Speedgoat - {{Real-Time Simulation}} and {{Testing}}}, title = {Speedgoat - {{Real-Time Simulation}} and {{Testing}}},
url = {https://www.speedgoat.com/}, url = {https://www.speedgoat.com/},