Limit Search Results
Author
SpringerLink (Online service)
(11)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Merkow, Mark S., author.
(2)
Raghavan, Lakshmikanth.
(2)
Schagaev, Igor. author.
(2)
Publication Date
-
Subject
Computer software -- Reliability.
(11)
Software engineering.
(7)
Computer Science Logic and Foundations of Programming.
(4)
Computer science.
(4)
Computer security.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Smart Electromechanical Systems
Smart Electromechanical Systems
Author 
Gorodetskiy, Andrey E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27547-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. (orcid)0000-0003-1452-3067 Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39639-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45480-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts
Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts
Author 
Avramidis, Ioannis. author. Athanatopoulou, A. author. Morfidis, Konstantinos. author. Sextos, Anastasios. author. Giaralis, Agathoklis. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25270-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer system reliability : safety and usability
Computer system reliability : safety and usability
Author 
Dhillon, B. S., author.
Preferred Shelf Number 
QA76.76 .R44 D495 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Secure and resilient software : requirements, test cases, and testing methods
Secure and resilient software : requirements, test cases, and testing methods
Author 
Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number 
QA76.76 .T48 M47 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Applied software measurement global analysis of productivity and quality
Applied software measurement global analysis of productivity and quality
Author 
Jones, Capers.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Model-Based Requirements Engineering
Model-Based Requirements Engineering
Author 
Holt, Jon Perry, Simon A Brownsword, Mike
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBPC009E
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Secure and resilient software development
Secure and resilient software development
Author 
Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number 
QA76.76 .D47 M466 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software error detection through testing and analysis
Software error detection through testing and analysis
Author 
Huang, J. C., 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: 
Availability 
Online Library~1
Available:
Copies: