Real-Time Reachability for Verified Simplex Design (bibtex)

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

Reference:

S Bak, Taylor T. Johnson, M Caccamo and L Sha, "Real-Time Reachability for Verified Simplex Design", In 35th IEEE Real-Time Systems Symposium (RTSS'14), IEEE, pp. 138–148, 2014.

Bibtex Entry:

@inproceedings{bak2014rtss,
  title = {Real-Time Reachability for Verified Simplex Design},
  author = {S Bak and Taylor T. Johnson and M Caccamo and L Sha},
  year = {2014},
  month = dec,
  booktitle = {35th IEEE Real-Time Systems Symposium (RTSS'14)},
  pages = {138--148},
  publisher = {IEEE},
  doi = {10.1109/RTSS.2014.21},
  publabel = {C9},
  pubtype = {C},
  dblp = {journals/tecs/JohnsonBCS16},
  pdf = "research/bak2014rtss.pdf",
}