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

vault backup: 2024-11-11 09:03:37

Browse Source
This commit is contained in:
Dane Sabo 2024-11-11 09:03:37 -05:00
parent 646abf723b
commit 557c206cb0
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
201 Metadata/My Library.bib
View File

@ -6999,6 +6999,21 @@ Regulatory Premises.pdf}
file = {/home/danesabo/Zotero/storage/3VGFTA43/Lang et al. - 2021 - Formal verification applied to autonomous spacecra.pdf} file = {/home/danesabo/Zotero/storage/3VGFTA43/Lang et al. - 2021 - Formal verification applied to autonomous spacecra.pdf}
} }
@inproceedings{langFormalVerificationApplied2021a,
title = {Formal {{Verification Applied}} to {{Spacecraft Attitude Control}}},
booktitle = {{{AIAA Scitech}} 2021 {{Forum}}},
author = {Lang, Kendra and Klett, Corbin and Hawkins, Kelsey and Feron, Eric and Tsiotras, Panagiotis and Phillips, Sean},
date = {2021-01-11},
publisher = {{American Institute of Aeronautics and Astronautics}},
location = {VIRTUAL EVENT},
doi = {10.2514/6.2021-1126},
url = {https://arc.aiaa.org/doi/10.2514/6.2021-1126},
urldate = {2024-11-11},
eventtitle = {{{AIAA Scitech}} 2021 {{Forum}}},
isbn = {978-1-62410-609-5},
langid = {english}
}
@online{LangleyFormalMethods, @online{LangleyFormalMethods,
title = {Langley {{Formal Methods}}}, title = {Langley {{Formal Methods}}},
url = {https://shemesh.larc.nasa.gov/fm/index.html}, url = {https://shemesh.larc.nasa.gov/fm/index.html},