Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

165 Downloads (Pure)
OriginalsprogEngelsk
ForlagAalborg Universitetsforlag
ISBN (Elektronisk)978-87-7112-451-4
DOI
StatusUdgivet - 2016
NavnPh.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet
ISSN2246-1248

Bibliografisk note

Kim Guldstrand Larsen, Hovedvejleder
Rene Rydhof Hansen, Bivejleder

Citer dette

Wognsen, E. R. (2016). Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking. Aalborg Universitetsforlag. Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet https://doi.org/10.5278/vbn.phd.engsci.00072
Wognsen, Erik Ramsgaard. / Batteries in Space : Designing Energy-Optimal Satellites with Statistical Model Checking. Aalborg Universitetsforlag, 2016. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).
@phdthesis{a508401079ae43cfbb05a5695d30aaea,
title = "Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking",
author = "Wognsen, {Erik Ramsgaard}",
note = "Kim Guldstrand Larsen, Hovedvejleder Rene Rydhof Hansen, Bivejleder",
year = "2016",
doi = "10.5278/vbn.phd.engsci.00072",
language = "English",
series = "Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet",
publisher = "Aalborg Universitetsforlag",

}

Wognsen, ER 2016, Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking. Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet, Aalborg Universitetsforlag. https://doi.org/10.5278/vbn.phd.engsci.00072

Batteries in Space : Designing Energy-Optimal Satellites with Statistical Model Checking. / Wognsen, Erik Ramsgaard.

Aalborg Universitetsforlag, 2016. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

TY - BOOK

T1 - Batteries in Space

T2 - Designing Energy-Optimal Satellites with Statistical Model Checking

AU - Wognsen, Erik Ramsgaard

N1 - Kim Guldstrand Larsen, Hovedvejleder Rene Rydhof Hansen, Bivejleder

PY - 2016

Y1 - 2016

U2 - 10.5278/vbn.phd.engsci.00072

DO - 10.5278/vbn.phd.engsci.00072

M3 - Ph.D. thesis

T3 - Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet

BT - Batteries in Space

PB - Aalborg Universitetsforlag

ER -

Wognsen ER. Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking. Aalborg Universitetsforlag, 2016. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet). https://doi.org/10.5278/vbn.phd.engsci.00072