Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ian T. Nabney, Mickael J. S. Paven, Richard C. Eldridge, Clive Lee |
Practical Assessment of Neural Network Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 357-368, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Despina Polemi |
Biometric Techniques Applied In Security Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 158-170, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel, Carsten Siihl |
Methodological Support for Formally Specifying Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 295-308, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Erwin Schoitsch (eds.) |
15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-540-76070-2 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Daniel (eds.) |
16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-540-76191-4 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Scheer, Thomas Maier |
Towards Dependable Software Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 37-51, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Barker, Ian Kendall, Anthony Darlison |
Safety Cases for Software-intensive Systems: an Industrial Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 332-342, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano |
Refinement and Safety Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 223-240, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Mermet, Dominique Méry |
Safe combinations of services using B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 265-280, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Jenkins, Brian Lees, Daniel Livingstone, Andrew Reglinski |
Managing the Safety Argument using a Memory Prosthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 98-108, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Thane |
Safe and Reliable Computer Control Systems an Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 25-36, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Tourlas |
An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 210-219, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefanos Gritzalis, Diomidis Spinellis |
Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 123-137, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Lichtenecker, Klaus Gotthardt |
Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 241-252, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jens Braband |
Safety and Security Requirements for an Advanced Train Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997, pp. 111-122, 1997, Springer, 978-3-540-76191-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen J. Westerman, G. Robert J. Hockey |
Human Factors in Safety-Critical Systems: An underestimated contribution? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 311-321, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Neville Rowden |
A Safe, Reliable Control and Supervisory System for Railway Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 266-275, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Remi Eriksen, Terje Andersen, Claus Feyling, Hans-Joachim Petersen |
Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 205-218, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Loftus, Fred Long, David Pugh, Ian Pyle |
Failure Classification Schemes for Analysing System Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 289-298, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Werner Artner |
Part 3: Challenge and Effect of NERC on an Austrian Company. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 357-361, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | W. Kuhn, H. Selami |
Developing Dependable Software Using Prototyping and Test-Diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 95-104, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Lorenzo Strigini |
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 83-94, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yinong Chen, Jean Arlat |
Modeling Software Dependability Growth under Input Partition Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 136-145, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Jesty, Keith M. Hobley |
Integrity Levels and their Application to Road Transport Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 365-374, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Walter J. Gutjahr |
Failure Risk Estimation via Markov Software Usage Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 183-192, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski, Bartosz Nowicki |
Safety Analysis Based on Object-oriented Modelling of Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 46-60, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Daniel E. Sniezek |
Design Methodologies and Systems Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 193-202, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zdzislaw Zurakowski |
Safety and Technology Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 332-342, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Clark Savage Turner, Debra J. Richardson, John L. King |
Legal Sufficiency of Testing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 375-385, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shoky Visram |
Part 1: Customer Safety Requirements for the NERC Air Traffic Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 346-350, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Voas, Frank Charron, Keith W. Miller 0001 |
Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 126-135, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Herwig Stöckl |
Reliability and Security in Communication Software: PBX Systems and CSTA Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 395-403, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Avizienis |
Systematic Design of Fault-Tolerant Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 3-18, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin |
Safety Analysis and Evaluation of an Air Traffic Control Computing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 219-229, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Peter Meske, Wolfgang A. Halang |
A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 61-70, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philip Marsden |
Part 2: Bringing the Safety Dimension into the System and the Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 351-356, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Swapan Mitra, I. D. R. Shannon |
Assessment and Certification Requirements in the European Railway Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 276-285, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinand J. Dafelmair |
Implementation of a Security Policy in Distributed Safety Related I&C Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 414-424, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Ciciani, Alberto Pasquini |
Software Reliability Models and Test Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 105-114, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jacqui Griffyth |
Human Factors in High Integrity Software Development: a Field Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 301-310, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla |
Formal Verification as a Design Tool - The Transponder Lock Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 73-82, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michel Houtermans, William M. Goble, Aarnout C. Brombacher |
Creating Markov Models for Applications in the Process Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 230-239, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frank Koob, Markus Ullmann, Stefan Wittmann |
Application of Formal Methods in the Scope of IT-Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 389-394, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Claude Laprie |
Software-based critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 157-170, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shoky Visram, Werner Artner, Philip Marsden |
Safety Case for the NERC Air Traffic Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 345, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | G. Aprea, P. Colantuoni, P. Firpo, R. Lido, D. Pellegrino, M. Rapone, F. Senesi |
SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 250-265, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet |
Defining the Unit Testing Level of Synchronous Data Flow Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 115-125, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
Formal Verification of Safety Requirements on Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 21-30, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel, Carsten Sühl |
Formal Specification of Safety-Critical Software with Z and Real-Time CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 31-45, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Malte Borcherding |
Byzantine Agreement with Limited Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 404-413, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | William M. Goble, Julia V. Bukowski, Aarnout C. Brombacher |
Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 173-182, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo |
An Holistic Approach to Dependability? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 149-154, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robin Bloomfield, John Bowers 0001, Luke Emmet, Stephen Viller |
PERE: Evaluation and Improvement of Dependable Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 322-331, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Henrik Eriksson |
Specifying Railway Interlocking Requirements for Practical Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pp. 243-249, 1996, Springer, 978-3-540-76070-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | G. Picciolo, P. Gianninò |
Programmable Electronic Controllers (PEC) Performance Assessment - an Approach for Reliability Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 221-236, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen Christmansson, Zbigniew Kalbarczyk, Jan Torin |
An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 331-352, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ken Chan, Clive Fencott, Barry D. Hebbron |
Formal Support for the Safety Analysis of Requirement Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 75-89, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli |
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 474-488, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Morris F. Chudleigh, James Catmur, Arthur D. Little, Felix Redmill |
A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 42-58, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris |
Requirements Analysis and Safety: A Case Study (using GRASP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 353-371, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | M. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski |
Safety Case: Structure and Role. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 452-463, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Hughes |
The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 403-408, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bev Littlewood, David Wright 0001 |
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 173-188, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Rabe (eds.) |
14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-540-19962-5 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel |
Six Steps Towards Provably Safe Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 191-205, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | K. N. Narahari, Shylaja Prasad, K. Karunakar |
Is Software Safe to Fly? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 299-313, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stephen J. Westerman, Nick Shryane, Martin Crawshaw, G. Robert J. Hockey, William Wyatt-Millington |
Cognitive Diversity: A Structured Approach to Trapping Human Error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 142-155, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dai Davis |
Legal Aspects of Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 156-170, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski, Jan Magott, Andrzej Wardzinski |
Modeling Fault Trees Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 90-100, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Ruiz Morales |
A Software Development Approach for Robotics Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 317-330, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger |
Loops for Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 269-282, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre |
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 489-503, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Voas, Keith W. Miller 0001 |
An Automated Code-Based Fault-Tree Mitigation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 59-72, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | A. J. Harrison, I. D. R. Shannon |
The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 101-112, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Amer Saeed, Rogério de Lemos, Tom Anderson 0001 |
Safety Analysis for Requirements Specifications: Methods and Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 27-41, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | M. Viola |
Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 283-298, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Krebs |
Assessment on the Basis of Standards-Gaps and how to Bridge Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 12-23, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fenelon, Tim P. Kelly, John A. McDermid |
Safety Cases for Software Application Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 419-436, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Heckmann, Stephen Shirlaw |
An industrial view of Requirements Engineering and Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 411-416, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker |
Formally Verified Firmware Modules for Industrial Process Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 206-218, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | T. Jennings, P. Taylor |
The Verification of Compiled Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 504-513, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erwin Schoitsch |
Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 3-11, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Franz Engelmann, W. Schynoll, Hans Stienen |
BOOTSTRAP: Software Process Assessment Experiences and Further Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 237-251, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | R. J. Tiezema |
Eliminating the Unexpected. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 131-141, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Keith M. Hobley, Peter H. Jesty |
Analysis and Assessment of Advanced Road Transport Telematic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 252-266, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop, Robin E. Bloomfield |
The SHIP Safety Case Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 437-451, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Amanda J. C. Sharkey, Noel E. Sharkey, Gopinath O. Chandroth |
Neural Nets and Diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 375-389, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marita Hietikko, Risto Tiusanen |
Practical Approach for the Evaluation of Safety Related Programmable Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 467-473, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Rabéjac |
On-line Software Error Detection by Executable Assertions: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 390-402, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John A. McDermid, R. H. Pierce |
Accessible Formal Method Support for PLC Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 113-127, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Igor M. Galkin |
A Knowledge-Based Approach to Program Testing and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 207-216, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | C. J. Goring |
Safety Assessment - The Critical System Suppliers View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 91-98, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Glenn Bruns, Stuart Anderson |
Validating Safety Models with Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 21-30, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli |
Data Flow Control Systems: an Example of Safety Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 9-20, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rudolph E. Seviora |
Real-Time Detection of Failures of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 265-275, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Carl E. Landwehr |
How Far Can You Trust A Computer? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 313-325, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Fierz, Hansruedi Müller, Spiros Netos |
CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 361-370, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski (eds.) |
The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-540-19838-3 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | G. Sen, J. Brummer |
Designing a High-level Language for Safety Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 289-301, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tom Anderson |
Safety - status and perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 3-6, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|