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

Research output: Book/ReportPh.D. thesisResearch

189 Downloads (Pure)
Original languageEnglish
PublisherAalborg Universitetsforlag
ISBN (Electronic)978-87-7112-451-4
DOIs
Publication statusPublished - 2016
SeriesPh.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet
ISSN2246-1248

Cite this