Original language | English |
---|---|
Supervisors |
|
Publisher | |
Electronic ISBNs | 978-87-7112-451-4 |
DOIs | |
Publication status | Published - 2016 |
Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking
Research output: PhD thesis
232
Downloads
(Pure)