default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/safecomp/AldiniB04,
author = {Alessandro Aldini and
Marco Bernardo},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {An Integrated View of Security Analysis and Performance Evaluation:
Trading QoS with Covert Channel Bandwidth},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {283--296},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_24},
doi = {10.1007/978-3-540-30138-7\_24},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AldiniB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ArmstrongP04,
author = {James M. Armstrong and
Stephen Paynter},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {The Deconstruction of Safety Arguments Through Adversarial Counter-Argument},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {3--16},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_2},
doi = {10.1007/978-3-540-30138-7\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ArmstrongP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BanachC04,
author = {Richard Banach and
R. Cross},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Safety Requirements and Fault Trees Using Retrenchment},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {210--223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_18},
doi = {10.1007/978-3-540-30138-7\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BanachC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BentleyBM04,
author = {J. G. W. Bentley and
Peter G. Bishop and
Meine van der Meulen},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {An Empirical Exploration of the Difficulty Function},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {60--71},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_6},
doi = {10.1007/978-3-540-30138-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BentleyBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Buth04,
author = {Bettina Buth},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Analysing Mode Confusion: An Approach Using {FDR2}},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {101--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_9},
doi = {10.1007/978-3-540-30138-7\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Buth04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Cebulla04,
author = {Michael Cebulla},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Modeling Concepts for Safety-Related Requirements in Sociotechnical
Systems},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {87--100},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_8},
doi = {10.1007/978-3-540-30138-7\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Cebulla04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CiancamerlaM04,
author = {Ester Ciancamerla and
Michele Minichino},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Performability Measures of the Public Mobile Network of a Tele Control
System},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {142--154},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_13},
doi = {10.1007/978-3-540-30138-7\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CiancamerlaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DillonM04,
author = {E. Dillon and
Christophe Meudec},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Automatic Test Data Generation from Embedded {C} Code},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {180--194},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_16},
doi = {10.1007/978-3-540-30138-7\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DillonM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DuraaesVM04,
author = {Jo{\~{a}}o Dur{\~{a}}es and
Marco Vieira and
Henrique Madeira},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Dependability Benchmarking of Web-Servers},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {297--310},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_25},
doi = {10.1007/978-3-540-30138-7\_25},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/DuraaesVM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Eriksson04,
author = {Lars{-}Henrik Eriksson},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Using Formal Methods in a Retrospective Safety Case},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {31--44},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_4},
doi = {10.1007/978-3-540-30138-7\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Eriksson04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Essame04,
author = {D. Essame},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Handling Safety Critical Requirements in System Engineering Using
the {B} Formal Method},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {115},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_10},
doi = {10.1007/978-3-540-30138-7\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Essame04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GieseTS04,
author = {Holger Giese and
Matthias Tichy and
Daniela Schilling},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Compositional Hazard Analysis of {UML} Component and Deployment Models},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {166--179},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_15},
doi = {10.1007/978-3-540-30138-7\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GieseTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GranFT04,
author = {Bj{\o}rn Axel Gran and
Rune Fredriksen and
Atoosa P.{-}J. Thunem},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {An Approach for Model-Based Risk Assessment},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {311--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_26},
doi = {10.1007/978-3-540-30138-7\_26},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GranFT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Herrtwich04,
author = {Ralf Guido Herrtwich},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Automotive Telematics - Road Safety Versus {IT} Security?},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {239},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_20},
doi = {10.1007/978-3-540-30138-7\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Herrtwich04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/JohannessenTT04,
author = {Per Johannessen and
Fredrik T{\"{o}}rner and
Jan Torin},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Actuator Based Hazard Analysis for Safety Critical Systems},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {130--141},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_12},
doi = {10.1007/978-3-540-30138-7\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/JohannessenTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KaiserG04,
author = {Bernhard Kaiser and
Catharina Gramlich},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {State-Event-Fault-Trees - {A} Safety Analysis Model for Software Controlled
Systems},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {195--209},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_17},
doi = {10.1007/978-3-540-30138-7\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KaiserG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KurdK04,
author = {Zeshan Kurd and
Tim Kelly},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Using Fuzzy Self-Organising Maps for Safety Critical Systems},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {17--30},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_3},
doi = {10.1007/978-3-540-30138-7\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KurdK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LaibinisT04,
author = {Linas Laibinis and
Elena Troubitsyna},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Refinement of Fault Tolerant Control Systems in {B}},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {254--268},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_22},
doi = {10.1007/978-3-540-30138-7\_22},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LaibinisT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/NicolaTEFO04,
author = {Giuseppe De Nicola and
Pasquale di Tommaso and
Rosaria Esposito and
Francesco Flammini and
Antonio Orazzo},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {A Hybrid Testing Methodology for Railway Control Systems},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {116--129},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_11},
doi = {10.1007/978-3-540-30138-7\_11},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/NicolaTEFO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PfeiferH04,
author = {Holger Pfeifer and
Friedrich W. von Henke},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Modular Formal Analysis of the Central Guardian in the Time-Triggered
Architecture},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {240--253},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_21},
doi = {10.1007/978-3-540-30138-7\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PfeiferH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Pfitzmann04,
author = {Andreas Pfitzmann},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Why Safety and Security Should and Will Merge},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {1--2},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_1},
doi = {10.1007/978-3-540-30138-7\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Pfitzmann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RehageCMV04,
author = {D. Rehage and
Udo B. Carl and
M. Merkel and
A. Vahl},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {The Effects on Reliability of Integration of Aircraft Systems Based
on Integrated Modular Avionics},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {224--238},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_19},
doi = {10.1007/978-3-540-30138-7\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RehageCMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Saridakis04,
author = {Titos Saridakis},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Towards the Integration of Fault, Resource, and Power Management},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {72--86},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_7},
doi = {10.1007/978-3-540-30138-7\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Saridakis04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SmithHS04,
author = {Shamus P. Smith and
Michael D. Harrison and
Bastiaan A. Schupp},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {How Explicit Are the Barriers to Failure in Safety Arguments?},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {325--338},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_27},
doi = {10.1007/978-3-540-30138-7\_27},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/SmithHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Vollmer04,
author = {Michael Vollmer},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Numerical Integration of PDEs for Safety Critical Applications Implemented
by I{\&}C Systems},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {269--282},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_23},
doi = {10.1007/978-3-540-30138-7\_23},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/Vollmer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/YooCSKL04,
author = {Junbeom Yoo and
Sung Deok Cha and
Han Seong Son and
Chang Hwoi Kim and
Jang{-}Soo Lee},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {PLC-Based Safety Critical Software Development for Nuclear Power Plants},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {155--165},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_14},
doi = {10.1007/978-3-540-30138-7\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/YooCSKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ZarandiM04,
author = {Hamid R. Zarandi and
Seyed Ghassem Miremadi},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {A Highly Fault Detectable Cache Architecture for Dependable Computing},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {45--59},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_5},
doi = {10.1007/978-3-540-30138-7\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ZarandiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2004,
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100227},
doi = {10.1007/B100227},
isbn = {3-540-23176-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-10-04 05:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
