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.  ![link Is Current Incremental Safety Assurance Sound? [link]](https://bibbase.org/img/filetypes/link.svg) Paper  doi  bibtex
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
{"_id":"oW6RTCtc7hbiwgnkA","bibbaseid":"cassano-grigorova-singh-adedjouma-lawford-maibaum-wassyng-iscurrentincrementalsafetyassurancesound-2015","authorIDs":[],"author_short":["Cassano, V.","Grigorova, S.","Singh, N. K.","Adedjouma, M.","Lawford, M.","Maibaum, T. S. E.","Wassyng, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Valentin"],"propositions":[],"lastnames":["Cassano"],"suffixes":[]},{"firstnames":["Silviya"],"propositions":[],"lastnames":["Grigorova"],"suffixes":[]},{"firstnames":["Neeraj","Kumar"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Morayo"],"propositions":[],"lastnames":["Adedjouma"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Lawford"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]},{"firstnames":["Alan"],"propositions":[],"lastnames":["Wassyng"],"suffixes":[]}],"editor":[{"firstnames":["Floor"],"propositions":[],"lastnames":["Koornneef"],"suffixes":[]},{"firstnames":["Coen"],"propositions":["van"],"lastnames":["Gulijk"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/safecomp/CassanoGSALMW15,\n  author    = {Valentin Cassano and\n               Silviya Grigorova and\n               Neeraj Kumar Singh and\n               Morayo Adedjouma and\n               Mark Lawford and\n               T. S. E. Maibaum and\n               Alan Wassyng},\n  editor    = {Floor Koornneef and\n               Coen van Gulijk},\n  title     = {Is Current Incremental Safety Assurance Sound?},\n  booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,\n               ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,\n               September 22, 2015, Proceedings},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {9338},\n  pages     = {397--408},\n  publisher = {Springer},\n  year      = {2015},\n  url       = {https://doi.org/10.1007/978-3-319-24249-1\\_34},\n  doi       = {10.1007/978-3-319-24249-1\\_34},\n  timestamp = {Tue, 14 May 2019 10:00:44 +0200},\n  biburl    = {https://dblp.org/rec/conf/safecomp/CassanoGSALMW15.bib},\n  bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cassano, V.","Grigorova, S.","Singh, N. K.","Adedjouma, M.","Lawford, M.","Maibaum, T. S. E.","Wassyng, A."],"editor_short":["Koornneef, F.","van Gulijk, C."],"key":"DBLP:conf/safecomp/CassanoGSALMW15","id":"DBLP:conf/safecomp/CassanoGSALMW15","bibbaseid":"cassano-grigorova-singh-adedjouma-lawford-maibaum-wassyng-iscurrentincrementalsafetyassurancesound-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24249-1_34"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/140/7429.bib","creationDate":"2021-03-10T21:58:23.786Z","downloads":0,"keywords":[],"search_terms":["current","incremental","safety","assurance","sound","cassano","grigorova","singh","adedjouma","lawford","maibaum","wassyng"],"title":"Is Current Incremental Safety Assurance Sound?","year":2015,"dataSources":["TScJwDCnKznktxT7b"]}