Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/safecomp/safecomp98.bht:"
download as .bib file
@inproceedings{DBLP:conf/safecomp/BertoliCGT98,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Fausto Giunchiglia and
Paolo Traverso},
editor = {Wolfgang D. Ehrenberger},
title = {A Structured Approach to the Formal Certification of Safety of Computer
Aided Development Tools},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {221--230},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_17},
doi = {10.1007/3-540-49646-7\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BertoliCGT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BolognaBDMBPMK98,
author = {Sandro Bologna and
Rocco Bove and
Giovanni Dipoppa and
Giorgio Mongardi and
Gino Biondi and
Carmen Porzia and
Benny Graft Mortensen and
Niels Kirkegaard},
editor = {Wolfgang D. Ehrenberger},
title = {Applying Formal Methods in Industry The UseGat Project},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {231--242},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_18},
doi = {10.1007/3-540-49646-7\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BolognaBDMBPMK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CimattiGMRTT98,
author = {Alessandro Cimatti and
Fausto Giunchiglia and
Giorgio Mongardi and
Dario Romano and
Fernando Torielli and
Paolo Traverso},
editor = {Wolfgang D. Ehrenberger},
title = {Model Checking Safety Critical Software with {SPIN:} An Application
to a Railway Interlocking System},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {284--295},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_22},
doi = {10.1007/3-540-49646-7\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CimattiGMRTT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Dafelmair98,
author = {Ferdinand J. Dafelmair},
editor = {Wolfgang D. Ehrenberger},
title = {Model and Implementation of a Secure SW-Development Process for Mission
Critical Software},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {128--142},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_10},
doi = {10.1007/3-540-49646-7\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Dafelmair98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DavidDLOHP98,
author = {Vincent David and
Jean Delcoigne and
Evelyne Leret and
Alain Ourghanlian and
Philippe Hilsenkopf and
Philippe Paris},
editor = {Wolfgang D. Ehrenberger},
title = {Safety Properties Ensured by the {OASIS} Model for Safety Critical
Real-Time Systems},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {45--59},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_4},
doi = {10.1007/3-540-49646-7\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DavidDLOHP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DijkFKVV98,
author = {Fokko van Dijk and
Wan J. Fokkink and
Gea Kolk and
Paul van de Ven and
Bas van Vlijmen},
editor = {Wolfgang D. Ehrenberger},
title = {EURIS, a Specification Method for Distributed Interlockings},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {296--305},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_23},
doi = {10.1007/3-540-49646-7\_23},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DijkFKVV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DilgerFM98,
author = {Elmar Dilger and
Thomas F{\"{u}}hrer and
Bernd M{\"{u}}ller},
editor = {Wolfgang D. Ehrenberger},
title = {Distributed Fault-Tolerant and Safety-Critical Application in Vehicles
- {A} Time-Triggered Approach},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {267--283},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_21},
doi = {10.1007/3-540-49646-7\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DilgerFM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Drechsler98,
author = {Rolf Drechsler},
editor = {Wolfgang D. Ehrenberger},
title = {Verifying Integrity of Decision Diagrams},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {380--389},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_30},
doi = {10.1007/3-540-49646-7\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Drechsler98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Grams98,
author = {Timm Grams},
editor = {Wolfgang D. Ehrenberger},
title = {Operator Errors and Their Causes},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {89--99},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_7},
doi = {10.1007/3-540-49646-7\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Grams98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HalangF98,
author = {Wolfgang A. Halang and
Alceu Heinke Frigeri},
editor = {Wolfgang D. Ehrenberger},
title = {Methods and Languages for Safety-Related Real-Time Programming},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {196--208},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_15},
doi = {10.1007/3-540-49646-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HalangF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HollingworthS98,
author = {Kevin Hollingworth and
Amer Saeed},
editor = {Wolfgang D. Ehrenberger},
title = {CoRSA - {A} Constraint Based Approach to Requirements and Safety Analysis},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {3--15},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_1},
doi = {10.1007/3-540-49646-7\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HollingworthS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HutchinsonW98,
author = {Andrew Hutchinson and
Michael Wallbaum},
editor = {Wolfgang D. Ehrenberger},
title = {A Performance Comparison of Group Security Mechanisms},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {103--116},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_8},
doi = {10.1007/3-540-49646-7\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HutchinsonW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/IliadisGO98,
author = {John Iliadis and
Stefanos Gritzalis and
V. Oikonomou},
editor = {Wolfgang D. Ehrenberger},
title = {Towards Secure Downloadable Executable Content: The Java Paradigm},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {117--127},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_9},
doi = {10.1007/3-540-49646-7\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/IliadisGO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/JovalekicR98,
author = {Silvije Jovalekic and
Bernd Rist},
editor = {Wolfgang D. Ehrenberger},
title = {Impact of Object-Oriented Software Engineering Applied to the Development
of Security Systems},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {143--155},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_11},
doi = {10.1007/3-540-49646-7\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/JovalekicR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KnegteringB98,
author = {Bert Knegtering and
Aarnout Brombacher},
editor = {Wolfgang D. Ehrenberger},
title = {Conceptual Comparison of Two Commonly Used Safeguarding Principles},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {359--368},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_28},
doi = {10.1007/3-540-49646-7\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KnegteringB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KochsGHL98,
author = {Hans{-}Dieter Kochs and
Walter Geisselhardt and
Holger Hilmer and
Matthias Lenord},
editor = {Wolfgang D. Ehrenberger},
title = {Fault-Tolerant Communication in Large-Scale Manipulators},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {254--266},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_20},
doi = {10.1007/3-540-49646-7\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KochsGHL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LanoKS98,
author = {Kevin Lano and
Pauline Kan and
Arturo Sanchez},
editor = {Wolfgang D. Ehrenberger},
title = {Linking Hazard Analysis to Formal Specification and Design in {B}},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {60--74},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_5},
doi = {10.1007/3-540-49646-7\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LanoKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LiggesmeyerR98,
author = {Peter Liggesmeyer and
Martin Rothfelder},
editor = {Wolfgang D. Ehrenberger},
title = {Towards Automated Proof of Fail-Safe Behaviour},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {169--184},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_13},
doi = {10.1007/3-540-49646-7\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LiggesmeyerR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Lindner98,
author = {Arndt Lindner},
editor = {Wolfgang D. Ehrenberger},
title = {{ANSI-C} in Safety Critical Applications - Lessons-Learned from Software
Evaluation},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {209--217},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_16},
doi = {10.1007/3-540-49646-7\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Lindner98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Martin-VivaldiI98,
author = {Nicol{\'{a}}s Mart{\'{\i}}n{-}Vivaldi and
Peter Isacsson},
editor = {Wolfgang D. Ehrenberger},
title = {Controlling your Design through your Software Process},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {77--88},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_6},
doi = {10.1007/3-540-49646-7\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Martin-VivaldiI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MerceronMP98,
author = {Agathe Merceron and
Monika M{\"{u}}llerburg and
G. Michele Pinna},
editor = {Wolfgang D. Ehrenberger},
title = {Verifying a Time-Triggered Protocol in a Multi-language Environment},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {185--195},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_14},
doi = {10.1007/3-540-49646-7\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MerceronMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MolK98,
author = {Bas A. de Mol and
Floor Koornneef},
editor = {Wolfgang D. Ehrenberger},
title = {"Profit by Safety" or Quackery in Biomedical Information Technology?},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {159--166},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_12},
doi = {10.1007/3-540-49646-7\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MolK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/NowickiG98,
author = {Bartosz Nowicki and
Janusz G{\'{o}}rski},
editor = {Wolfgang D. Ehrenberger},
title = {Object Oriented Safety Analysis of an Extra High Voltage Substation
Bay},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {306--315},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_24},
doi = {10.1007/3-540-49646-7\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/NowickiG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RinglerSBH98,
author = {Thomas Ringler and
J. Steiner and
Ralf Belschner and
Bernd Hedenetz},
editor = {Wolfgang D. Ehrenberger},
title = {Increasing System Safety for By-Wire Applications in Vehicles by Using
a Time Triggered Architecture},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {243--253},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_19},
doi = {10.1007/3-540-49646-7\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RinglerSBH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Rust98,
author = {Heinrich Rust},
editor = {Wolfgang D. Ehrenberger},
title = {Safety in Production Cell Components: An Appraoch Combining Formal
Real-Time Specifications and Patterns},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {32--44},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_3},
doi = {10.1007/3-540-49646-7\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Rust98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Sacha98,
author = {Krzysztof Sacha},
editor = {Wolfgang D. Ehrenberger},
title = {Safety Verification of Software Using Structured Petri Nets},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {329--342},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_26},
doi = {10.1007/3-540-49646-7\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Sacha98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Saglietti98,
author = {Francesca Saglietti},
editor = {Wolfgang D. Ehrenberger},
title = {Integration of Logical and Physical Properties of Embedded Systems
by Use of Time Petri Nets},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {319--328},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_25},
doi = {10.1007/3-540-49646-7\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Saglietti98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SonneckSS98,
author = {Gerald Sonneck and
Erwin Schoitsch and
Lorenzo Strigini},
editor = {Wolfgang D. Ehrenberger},
title = {A Holistic View on the Dependability of Software-Intensive Systems},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {369--379},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_29},
doi = {10.1007/3-540-49646-7\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SonneckSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/WinterSH98,
author = {Kirsten Winter and
Thomas Santen and
Maritta Heisel},
editor = {Wolfgang D. Ehrenberger},
title = {An Agenda for Specifying Software Components with Complex Data Models},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {16--31},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_2},
doi = {10.1007/3-540-49646-7\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/WinterSH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/WongJ98,
author = {Ken Wong and
Jeff Joyce},
editor = {Wolfgang D. Ehrenberger},
title = {Refinement of Safety-Related Hazards into Verifiable Code Assertions},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {345--358},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_27},
doi = {10.1007/3-540-49646-7\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/WongJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/1998,
editor = {Wolfgang D. Ehrenberger},
title = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7},
doi = {10.1007/3-540-49646-7},
isbn = {3-540-65110-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-03 13:27 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:
