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. 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"]}