Original language | English |
---|---|
Journal | Science of Computer Programming |
Volume | 82 |
Issue number | N/A |
Pages (from-to) | 44-55 |
ISSN | 0167-6423 |
DOIs | |
Publication status | Published - 2014 |
Externally published | Yes |
MoE publication type | A1 Journal article-refereed |
A symbolic model checking approach to verifying satellite onboard software
Xiang Gan, Jori Dubrovin, Keijo Heljanko
Research output: Contribution to journal › Article › Scientific › peer-review