Limit Search Results
Author
SpringerLink (Online service)
(31)
Anderson, Tom. editor.
(2)
Redmill, Felix. editor.
(2)
Ahram, Tareq. editor.
(1)
Ahuja, Ravindra K. editor.
(1)
Language
Publication Date
-
Subject
System safety.
(27)
Engineering.
(12)
Software engineering.
(7)
Computer system performance.
(6)
Engineering design.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
31 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Handbook of Model Checking
Handbook of Model Checking
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance
Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance
Author 
Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69224-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Software Product Quality Control
Software Product Quality Control
Author 
Wagner, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334625.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38571-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for The Secure Information Society Ethical, Legal and Political Challenges
The Secure Information Society Ethical, Legal and Political Challenges
Author 
Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331051.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4763-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday
Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday
Author 
Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for From Fault Classification to Fault Tolerance for Multi-Agent Systems
From Fault Classification to Fault Tolerance for Multi-Agent Systems
Author 
Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331127.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen
Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen
Author 
Breckenfelder, Christof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337705.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01128-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Resilience Assessment and Evaluation of Computing Systems
Resilience Assessment and Evaluation of Computing Systems
Author 
Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29032-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders
Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders
Author 
Grant, Casey C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8277-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Risk Management Technologies With Logic and Probabilistic Models
Risk Management Technologies With Logic and Probabilistic Models
Author 
Solozhentsev, E.D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Dependability of Networked Computer-based Systems
Dependability of Networked Computer-based Systems
Author 
Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-318-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Model-Driven Risk Analysis The CORAS Approach
Model-Driven Risk Analysis The CORAS Approach
Author 
Lund, Mass Soldal. author. Solhaug, Bjørnar. author. Stølen, Ketil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12323-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets