ARRL: A Criterion for Composable Safety and Systems Engineering. Verhulst, E., de la Vara, J. L., Sputh, B. H. C., & Florio, V. D. In SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013. Paper bibtex @inproceedings{DBLP:conf/safecomp/VerhulstVSF13,
author = {Eric Verhulst and
Jos{\'{e}} Luis de la Vara and
Bernhard H. C. Sputh and
Vincenzo De Florio},
title = {{ARRL:} {A} Criterion for Composable Safety and Systems Engineering},
booktitle = {{SAFECOMP} 2013 - Workshop {SASSUR} (Next Generation of System Assurance
Approaches for Safety-Critical Systems) of the 32nd International
Conference on Computer Safety, Reliability and Security, Toulouse,
France, 2013},
year = {2013},
crossref = {DBLP:conf/safecomp/2013sassur},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848521},
timestamp = {Tue, 29 Aug 2017 15:03:42 +0200},
biburl = {https://dblp.org/rec/bib/conf/safecomp/VerhulstVSF13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"LtZTQTd2LL4p2NnJm","bibbaseid":"verhulst-delavara-sputh-florio-arrlacriterionforcomposablesafetyandsystemsengineering-2013","downloads":0,"creationDate":"2018-09-25T14:43:36.795Z","title":"ARRL: A Criterion for Composable Safety and Systems Engineering","author_short":["Verhulst, E.","de la Vara, J. L.","Sputh, B. H. C.","Florio, V. D."],"year":2013,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/trc-research/trc-research.github.io/master/krgroup-publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Eric"],"propositions":[],"lastnames":["Verhulst"],"suffixes":[]},{"firstnames":["José","Luis"],"propositions":["de","la"],"lastnames":["Vara"],"suffixes":[]},{"firstnames":["Bernhard","H.","C."],"propositions":[],"lastnames":["Sputh"],"suffixes":[]},{"firstnames":["Vincenzo","De"],"propositions":[],"lastnames":["Florio"],"suffixes":[]}],"title":"ARRL: A Criterion for Composable Safety and Systems Engineering","booktitle":"SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013","year":"2013","crossref":"DBLP:conf/safecomp/2013sassur","url":"http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848521","timestamp":"Tue, 29 Aug 2017 15:03:42 +0200","biburl":"https://dblp.org/rec/bib/conf/safecomp/VerhulstVSF13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/safecomp/VerhulstVSF13,\r\n author = {Eric Verhulst and\r\n Jos{\\'{e}} Luis de la Vara and\r\n Bernhard H. C. Sputh and\r\n Vincenzo De Florio},\r\n title = {{ARRL:} {A} Criterion for Composable Safety and Systems Engineering},\r\n booktitle = {{SAFECOMP} 2013 - Workshop {SASSUR} (Next Generation of System Assurance\r\n Approaches for Safety-Critical Systems) of the 32nd International\r\n Conference on Computer Safety, Reliability and Security, Toulouse,\r\n France, 2013},\r\n year = {2013},\r\n crossref = {DBLP:conf/safecomp/2013sassur},\r\n url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848521},\r\n timestamp = {Tue, 29 Aug 2017 15:03:42 +0200},\r\n biburl = {https://dblp.org/rec/bib/conf/safecomp/VerhulstVSF13},\r\n bibsource = {dblp computer science bibliography, https://dblp.org}\r\n}\r\n\r\n\r\n\r\n","author_short":["Verhulst, E.","de la Vara, J. L.","Sputh, B. H. C.","Florio, V. D."],"key":"DBLP:conf/safecomp/VerhulstVSF13","id":"DBLP:conf/safecomp/VerhulstVSF13","bibbaseid":"verhulst-delavara-sputh-florio-arrlacriterionforcomposablesafetyandsystemsengineering-2013","role":"author","urls":{"Paper":"http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848521"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["arrl","criterion","composable","safety","systems","engineering","verhulst","de la vara","sputh","florio"],"keywords":[],"authorIDs":[],"dataSources":["JaYmsyrqfprbMwWjs"]}