A symbolic model checking approach to verifying satellite onboard software

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)44-55
JournalScience of Computer Programming
Volume82
Issue numberN/A
Publication statusPublished - 2014
MoE publication typeA1 Journal article-refereed

ID: 739896