default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "toc:db/conf/safecomp/safecomp1996.bht:"

> Home > Search

download as .bib file

@proceedings{DBLP:conf/safecomp/1996,
  editor       = {Erwin Schoitsch},
  title        = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2},
  doi          = {10.1007/978-1-4471-0937-2},
  isbn         = {978-3-540-76070-2},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/ApreaCFLPRS96,
  author       = {G. Aprea and
                  P. Colantuoni and
                  P. Firpo and
                  R. Lido and
                  D. Pellegrino and
                  M. Rapone and
                  F. Senesi},
  editor       = {Erwin Schoitsch},
  title        = {SIGAV, the Italian High Speed Railway Integrated Management System:
                  Safety and Reliability Overview},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {250--265},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_22},
  doi          = {10.1007/978-1-4471-0937-2\_22},
  timestamp    = {Tue, 25 Jun 2019 15:55:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ApreaCFLPRS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Artner96,
  author       = {Werner Artner},
  editor       = {Erwin Schoitsch},
  title        = {Part 3: Challenge and Effect of {NERC} on an Austrian Company},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {357--361},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_33},
  doi          = {10.1007/978-1-4471-0937-2\_33},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Artner96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Avizienis96,
  author       = {Algirdas Avizienis},
  editor       = {Erwin Schoitsch},
  title        = {Systematic Design of Fault-Tolerant Computers},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_1},
  doi          = {10.1007/978-1-4471-0937-2\_1},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Avizienis96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BernardeschiFG96,
  author       = {Cinzia Bernardeschi and
                  Alessandro Fantechi and
                  Stefania Gnesi},
  editor       = {Erwin Schoitsch},
  title        = {Formal Verification of Safety Requirements on Complex Systems},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {21--30},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_2},
  doi          = {10.1007/978-1-4471-0937-2\_2},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BernardeschiFG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BertolinoS96,
  author       = {Antonia Bertolino and
                  Lorenzo Strigini},
  editor       = {Erwin Schoitsch},
  title        = {Acceptance Criteria for Critical Software Based on Testability Estimates
                  and Test Results},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {83--94},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_7},
  doi          = {10.1007/978-1-4471-0937-2\_7},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BertolinoS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BloomfieldBEV96,
  author       = {Robin Bloomfield and
                  John Bowers and
                  Luke Emmet and
                  Stephen Viller},
  editor       = {Erwin Schoitsch},
  title        = {{PERE:} Evaluation and Improvement of Dependable Processes},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {322--331},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_28},
  doi          = {10.1007/978-1-4471-0937-2\_28},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BloomfieldBEV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Borcherding96,
  author       = {Malte Borcherding},
  editor       = {Erwin Schoitsch},
  title        = {Byzantine Agreement with Limited Authentication},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {404--413},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_38},
  doi          = {10.1007/978-1-4471-0937-2\_38},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Borcherding96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BuddeMS96,
  author       = {Reinhard Budde and
                  Agathe Merceron and
                  Karl{-}Heinz Sylla},
  editor       = {Erwin Schoitsch},
  title        = {Formal Verification as a Design Tool - The Transponder Lock Example},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {73--82},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_6},
  doi          = {10.1007/978-1-4471-0937-2\_6},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BuddeMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/ChenA96,
  author       = {Yinong Chen and
                  Jean Arlat},
  editor       = {Erwin Schoitsch},
  title        = {Modeling Software Dependability Growth under Input Partition Testing},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {136--145},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_12},
  doi          = {10.1007/978-1-4471-0937-2\_12},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ChenA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/CicianiP96,
  author       = {Bruno Ciciani and
                  Alberto Pasquini},
  editor       = {Erwin Schoitsch},
  title        = {Software Reliability Models and Test Coverage},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {105--114},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_9},
  doi          = {10.1007/978-1-4471-0937-2\_9},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CicianiP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Dafelmair96,
  author       = {Ferdinand J. Dafelmair},
  editor       = {Erwin Schoitsch},
  title        = {Implementation of a Security Policy in Distributed Safety Related
                  I{\&}C Systems},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {414--424},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_39},
  doi          = {10.1007/978-1-4471-0937-2\_39},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Dafelmair96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/EriksenAFP96,
  author       = {Remi Eriksen and
                  Terje Andersen and
                  Claus Feyling and
                  Hans{-}Joachim Petersen},
  editor       = {Erwin Schoitsch},
  title        = {Reliability and Vulnerability Assessment as Decision Support during
                  Purchase and Design of Complex, Technical Systems},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {205--218},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_18},
  doi          = {10.1007/978-1-4471-0937-2\_18},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/EriksenAFP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Eriksson96,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Erwin Schoitsch},
  title        = {Specifying Railway Interlocking Requirements for Practical Use},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {243--249},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_21},
  doi          = {10.1007/978-1-4471-0937-2\_21},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Eriksson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/FotaKKP96,
  author       = {Nicolae Fota and
                  Mohamed Ka{\^{a}}niche and
                  Karama Kanoun and
                  Alain Peytavin},
  editor       = {Erwin Schoitsch},
  title        = {Safety Analysis and Evaluation of an Air Traffic Control Computing
                  System},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {219--229},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_19},
  doi          = {10.1007/978-1-4471-0937-2\_19},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/FotaKKP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GobleBB96,
  author       = {William M. Goble and
                  Julia V. Bukowski and
                  Aarnout C. Brombacher},
  editor       = {Erwin Schoitsch},
  title        = {Systematic Development of Markov Models for the 1oo2D Programmable
                  Electronic System Architecture - Analysis of Safety and Availability},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {173--182},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_15},
  doi          = {10.1007/978-1-4471-0937-2\_15},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GobleBB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GorskiN96,
  author       = {Janusz G{\'{o}}rski and
                  Bartosz Nowicki},
  editor       = {Erwin Schoitsch},
  title        = {Safety Analysis Based on Object-oriented Modelling of Critical Systems},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_4},
  doi          = {10.1007/978-1-4471-0937-2\_4},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GorskiN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Griffyth96,
  author       = {Jacqui Griffyth},
  editor       = {Erwin Schoitsch},
  title        = {Human Factors in High Integrity Software Development: a Field Study},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {301--310},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_26},
  doi          = {10.1007/978-1-4471-0937-2\_26},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Griffyth96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Gutjahr96,
  author       = {Walter J. Gutjahr},
  editor       = {Erwin Schoitsch},
  title        = {Failure Risk Estimation via Markov Software Usage Models},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {183--192},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_16},
  doi          = {10.1007/978-1-4471-0937-2\_16},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Gutjahr96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HeiselS96,
  author       = {Maritta Heisel and
                  Carsten S{\"{u}}hl},
  editor       = {Erwin Schoitsch},
  title        = {Formal Specification of Safety-Critical Software with {Z} and Real-Time
                  {CSP}},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_3},
  doi          = {10.1007/978-1-4471-0937-2\_3},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HeiselS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HoutermansGB96,
  author       = {Michel Houtermans and
                  William M. Goble and
                  Aarnout C. Brombacher},
  editor       = {Erwin Schoitsch},
  title        = {Creating Markov Models for Applications in the Process Industry},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {230--239},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_20},
  doi          = {10.1007/978-1-4471-0937-2\_20},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HoutermansGB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/JestyH96,
  author       = {Peter H. Jesty and
                  Keith M. Hobley},
  editor       = {Erwin Schoitsch},
  title        = {Integrity Levels and their Application to Road Transport Systems},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {365--374},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_34},
  doi          = {10.1007/978-1-4471-0937-2\_34},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/JestyH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KoobUW96,
  author       = {Frank Koob and
                  Markus Ullmann and
                  Stefan Wittmann},
  editor       = {Erwin Schoitsch},
  title        = {Application of Formal Methods in the Scope of IT-Security},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {389--394},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_36},
  doi          = {10.1007/978-1-4471-0937-2\_36},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KoobUW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KuhnS96,
  author       = {W. Kuhn and
                  H. Selami},
  editor       = {Erwin Schoitsch},
  title        = {Developing Dependable Software Using Prototyping and Test-Diversity},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {95--104},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_8},
  doi          = {10.1007/978-1-4471-0937-2\_8},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KuhnS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Laprie96,
  author       = {Jean{-}Claude Laprie},
  editor       = {Erwin Schoitsch},
  title        = {Software-based critical systems},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {157--170},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_14},
  doi          = {10.1007/978-1-4471-0937-2\_14},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Laprie96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/LoftusLPP96,
  author       = {Chris W. Loftus and
                  Fred Long and
                  David Pugh and
                  Ian Pyle},
  editor       = {Erwin Schoitsch},
  title        = {Failure Classification Schemes for Analysing System Dependability},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {289--298},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_25},
  doi          = {10.1007/978-1-4471-0937-2\_25},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/LoftusLPP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Marsden96,
  author       = {Philip Marsden},
  editor       = {Erwin Schoitsch},
  title        = {Part 2: Bringing the Safety Dimension into the System and the Software
                  Development},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {351--356},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_32},
  doi          = {10.1007/978-1-4471-0937-2\_32},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Marsden96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/MeskeH96,
  author       = {Hans{-}Peter Meske and
                  Wolfgang A. Halang},
  editor       = {Erwin Schoitsch},
  title        = {A Processor Architecture Designed to Faciliate the Safety Certification
                  of Hard Real Time Systems},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {61--70},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_5},
  doi          = {10.1007/978-1-4471-0937-2\_5},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MeskeH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/MitraS96,
  author       = {Swapan Mitra and
                  I. D. R. Shannon},
  editor       = {Erwin Schoitsch},
  title        = {Assessment and Certification Requirements in the European Railway
                  Industry},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {276--285},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_24},
  doi          = {10.1007/978-1-4471-0937-2\_24},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MitraS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/PasquiniGKR96,
  author       = {Alberto Pasquini and
                  Winfried G{\"{o}}rke and
                  Karama Kanoun and
                  Antonio Rizzo},
  editor       = {Erwin Schoitsch},
  title        = {An Holistic Approach to Dependability?},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {149--154},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_13},
  doi          = {10.1007/978-1-4471-0937-2\_13},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PasquiniGKR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Rowden96,
  author       = {Neville Rowden},
  editor       = {Erwin Schoitsch},
  title        = {A Safe, Reliable Control and Supervisory System for Railway Networks},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {266--275},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_23},
  doi          = {10.1007/978-1-4471-0937-2\_23},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Rowden96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Sniezek96,
  author       = {Daniel E. Sniezek},
  editor       = {Erwin Schoitsch},
  title        = {Design Methodologies and Systems Safety},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {193--202},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_17},
  doi          = {10.1007/978-1-4471-0937-2\_17},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Sniezek96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Stockl96,
  author       = {Herwig St{\"{o}}ckl},
  editor       = {Erwin Schoitsch},
  title        = {Reliability and Security in Communication Software: {PBX} Systems
                  and {CSTA} Applications},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {395--403},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_37},
  doi          = {10.1007/978-1-4471-0937-2\_37},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Stockl96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Thevenod-FosseM96,
  author       = {Pascale Th{\'{e}}venod{-}Fosse and
                  Christine Mazuet and
                  Yves Crouzet},
  editor       = {Erwin Schoitsch},
  title        = {Defining the Unit Testing Level of Synchronous Data Flow Programs},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {115--125},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_10},
  doi          = {10.1007/978-1-4471-0937-2\_10},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Thevenod-FosseM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/TurnerRK96,
  author       = {Clark Savage Turner and
                  Debra J. Richardson and
                  John L. King},
  editor       = {Erwin Schoitsch},
  title        = {Legal Sufficiency of Testing Processes},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {375--385},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_35},
  doi          = {10.1007/978-1-4471-0937-2\_35},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/TurnerRK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Visram96,
  author       = {Shoky Visram},
  editor       = {Erwin Schoitsch},
  title        = {Part 1: Customer Safety Requirements for the {NERC} Air Traffic Control
                  System},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {346--350},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_31},
  doi          = {10.1007/978-1-4471-0937-2\_31},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Visram96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/VisramAM96,
  author       = {Shoky Visram and
                  Werner Artner and
                  Philip Marsden},
  editor       = {Erwin Schoitsch},
  title        = {Safety Case for the {NERC} Air Traffic Control System},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {345},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_30},
  doi          = {10.1007/978-1-4471-0937-2\_30},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/VisramAM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/VoasCM96,
  author       = {Jeffrey M. Voas and
                  Frank Charron and
                  Keith W. Miller},
  editor       = {Erwin Schoitsch},
  title        = {Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without
                  Them?},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {126--135},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_11},
  doi          = {10.1007/978-1-4471-0937-2\_11},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/VoasCM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/WestermanH96,
  author       = {Stephen J. Westerman and
                  G. Robert J. Hockey},
  editor       = {Erwin Schoitsch},
  title        = {Human Factors in Safety-Critical Systems: An underestimated contribution?},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {311--321},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_27},
  doi          = {10.1007/978-1-4471-0937-2\_27},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/WestermanH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Zurakowski96,
  author       = {Zdzislaw Zurakowski},
  editor       = {Erwin Schoitsch},
  title        = {Safety and Technology Transfer},
  booktitle    = {15th International Conference on Computer Safety, Reliability and
                  Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
  pages        = {332--342},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4471-0937-2\_29},
  doi          = {10.1007/978-1-4471-0937-2\_29},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Zurakowski96.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.