Real-Time Reachability for Verified Simplex Design

Bak, Stanley; Johnson, Taylor T.; Caccamo, Marco; Sha, Lui

by Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha

Reference:

Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha, "Real-Time Reachability for Verified Simplex Design", In 35th IEEE Real-Time Systems Symposium (RTSS 2014), IEEE Computer Society, Rome, Italy, 2014, dec.

Bibtex Entry:

@InProceedings{bak2014rtss,
  Title                    = {Real-Time Reachability for Verified Simplex Design},
  Author                   = {Stanley Bak and Taylor T. Johnson and Marco Caccamo and Lui Sha},
  Booktitle                = {35th IEEE Real-Time Systems Symposium (<a href="http://2014.rtss.org/">RTSS 2014</a>)},
  Year                     = {2014},
  Address                  = {Rome, Italy},
  Month                    = dec,
  Publisher                = {IEEE Computer Society},
  pdf = {http://www.taylortjohnson.com/research/bak2014rtss.pdf},
  slides = {http://www.taylortjohnson.com/research/slides/bak2014rtss_slides.pdf},
  Owner                    = {tjohnson},
  Timestamp                = {2014.07.21}
}