Is Current Incremental Safety Assurance Sound?. Cassano, V., Grigorova, S., Singh, N. K., Adedjouma, M., Lawford, M., Maibaum, T. S. E., & Wassyng, A. In Koornneef, F. & van Gulijk, C., editors, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, volume 9338, of Lecture Notes in Computer Science, pages 397–408, 2015. Springer.
Is Current Incremental Safety Assurance Sound? [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/safecomp/CassanoGSALMW15,
  author    = {Valentin Cassano and
               Silviya Grigorova and
               Neeraj Kumar Singh and
               Morayo Adedjouma and
               Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng},
  editor    = {Floor Koornneef and
               Coen van Gulijk},
  title     = {Is Current Incremental Safety Assurance Sound?},
  booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
               ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
               September 22, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9338},
  pages     = {397--408},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24249-1\_34},
  doi       = {10.1007/978-3-319-24249-1\_34},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/safecomp/CassanoGSALMW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0