Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/ftscs/MayoAH15
%A Mayo, Jackson R.
%A Armstrong, Robert C.
%A Hulette, Geoffrey C.
%B FTSCS
%D 2015
%E Artho, Cyrille
%E Ölveczky, Peter Csaba
%I Springer
%K dblp
%P 172-186
%T Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.
%U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#MayoAH15
%V 596
%@ 978-3-319-29509-1
@inproceedings{conf/ftscs/MayoAH15,
added-at = {2016-02-05T00:00:00.000+0100},
author = {Mayo, Jackson R. and Armstrong, Robert C. and Hulette, Geoffrey C.},
biburl = {https://www.bibsonomy.org/bibtex/2d09f7eae3c8f2558eee080943ffac171/dblp},
booktitle = {FTSCS},
crossref = {conf/ftscs/2015},
editor = {Artho, Cyrille and Ölveczky, Peter Csaba},
ee = {http://dx.doi.org/10.1007/978-3-319-29510-7_10},
interhash = {8e600b7572d3b5f2f8308dc907193ab5},
intrahash = {d09f7eae3c8f2558eee080943ffac171},
isbn = {978-3-319-29509-1},
keywords = {dblp},
pages = {172-186},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {2016-02-06T11:51:42.000+0100},
title = {Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.},
url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#MayoAH15},
volume = 596,
year = 2015
}