A symbolic model checking approach to verifying satellite onboard software

Xiang Gan, Jori Dubrovin, Keijo Heljanko

Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Lehti	Science of Computer Programming
Vuosikerta	82
Numero	N/A
Sivut	44-55
ISSN	0167-6423
DOI - pysyväislinkit	https://doi.org/10.1016/j.scico.2013.03.005
Tila	Julkaistu - 2014
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Pääsy asiakirjaan

@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 -