Probabilistic formal verification of the SATS concept of operation (bibtex)

by MU Sardar, N Afaq, KA Hoque, Taylor T. Johnson and O Hasan

Reference:

MU Sardar, N Afaq, KA Hoque, Taylor T. Johnson and O Hasan, "Probabilistic formal verification of the SATS concept of operation", In 8th NASA Formal Methods Symposium (NFM'16), Springer, pp. 191–205, 2016.

Bibtex Entry:

@inproceedings{sardar2016nfm,
  title = {Probabilistic formal verification of the SATS concept of operation},
  author = {MU Sardar and N Afaq and KA Hoque and Taylor T. Johnson and O Hasan},
  year = {2016},
  month = jun,
  booktitle = {8th NASA Formal Methods Symposium (NFM'16)},
  volume = {9690},
  pages = {191--205},
  publisher = {Springer},
  doi = {10.1007/978-3-319-40648-0_15},
  publabel = {C15},
  pubtype = {C},
  dblp = {conf/nfm/SardarAHJH16},
  s2id = {13366343},
  pdf = "research/sardar2016nfm.pdf",
}