Real-time reachability for verified simplex design (bibtex)

by Taylor T. Johnson, S Bak, M Caccamo and L Sha

Reference:

Taylor T. Johnson, S Bak, M Caccamo and L Sha, "Real-time reachability for verified simplex design", ACM Transactions on Embedded Computing Systems (TECS), ACM, vol. 15, no. 2, pp. 26:1–26:27, 2016.

Bibtex Entry:

@article{johnson2016tecs,
  title = {Real-time reachability for verified simplex design},
  author = {Taylor T. Johnson and S Bak and M Caccamo and L Sha},
  year = {2016},
  month = feb,
  journal = {ACM Transactions on Embedded Computing Systems (TECS)},
  volume = {15},
  number = {2},
  pages = {26:1--26:27},
  publisher = {ACM},
  doi = {10.1145/2723871},
  publabel = {J4},
  pubtype = {J},
  dblp = {journals/tecs/JohnsonBCS16},
  pdf = "research/johnson2016tecs.pdf",
}