A symbolic model checking approach to verifying satellite onboard software

Xiang Gan, Jori Dubrovin, Keijo Heljanko

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Tidskrift	Science of Computer Programming
Volym	82
Nummer	N/A
Sidor (från-till)	44-55
ISSN	0167-6423
DOI	https://doi.org/10.1016/j.scico.2013.03.005
Status	Publicerad - 2014
Externt publicerad	Ja
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

@article{9a0318451bda4808b0023922826e1398,

title = "A symbolic model checking approach to verifying satellite onboard software",

author = "Xiang Gan and Jori Dubrovin and Keijo Heljanko",

year = "2014",

doi = "10.1016/j.scico.2013.03.005",

language = "English",

volume = "82",

pages = "44--55",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "N/A",

}

TY - JOUR

T1 - A symbolic model checking approach to verifying satellite onboard software

AU - Gan, Xiang

AU - Dubrovin, Jori

AU - Heljanko, Keijo

PY - 2014

Y1 - 2014

U2 - 10.1016/j.scico.2013.03.005

DO - 10.1016/j.scico.2013.03.005

M3 - Article

VL - 82

SP - 44

EP - 55

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - N/A

ER -