Limit Search Results
Author
SpringerLink (Online service)
(94)
Anderson, Tom. editor.
(8)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(5)
Dale, Chris. editor.
(4)
Redmill, Felix. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(55)
Data protection.
(28)
System safety.
(27)
Computer Communication Networks.
(22)
Artificial intelligence.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
94 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Improvements in System Safety
Improvements in System Safety
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-100-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for 3D Imaging for Safety and Security
3D Imaging for Safety and Security
Author 
Koschan, Andreas. editor. Pollefeys, Marc. editor. Abidi, Mongi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6182-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
Author 
Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68738-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Arezes, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60525-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91397-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Cyberspace Safety and Security 10th International Symposium, CSS 2018, Amalfi, Italy, October 29–31, 2018, Proceedings
Cyberspace Safety and Security 10th International Symposium, CSS 2018, Amalfi, Italy, October 29–31, 2018, Proceedings
Author 
Castiglione, Arcangelo. editor. Pop, Florin. editor. Ficco, Massimo. editor. Palmieri, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01689-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Author 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Author 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 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-66266-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53946-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. 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-45477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Author 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
Cover image for Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29510-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334745.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39182-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Author 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number 
ONLINE(332964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings
Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings
Author 
Wang, Guojun. editor. Ray, Indrakshi. editor. Feng, Dengguo. editor. Rajarajan, Muttukrishnan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332984.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03584-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334742.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39173-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Yamamoto, Sakae. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334754.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39215-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Author 
Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40793-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
Author 
Bang, Magnus. editor. Ragnemalm, Eva L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31037-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Global Security, Safety and Sustainability & e-Democracy 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011, Revised Selected Papers
Global Security, Safety and Sustainability & e-Democracy 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011, Revised Selected Papers
Author 
Georgiadis, Christos K. editor. Jahankhani, Hamid. editor. Pimenidis, Elias. editor. Bashroush, Rabih. editor. Al-Nemrat, Ameer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33448-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Author 
Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33678-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Cyberspace Safety and Security 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012. Proceedings
Cyberspace Safety and Security 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012. Proceedings
Author 
Xiang, Yang. editor. Lopez, Javier. editor. Kuo, C.-C. Jay. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35362-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Author 
Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33536-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Author 
Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33675-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2494-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Author 
Défago, Xavier. editor. Petit, Franck. editor. Villain, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24550-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Author 
Flammini, Francesco. editor. Bologna, Sandro. editor. Vittorini, Valeria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24270-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Soft Landing Airline Industry Strategy, Service, and Safety
Soft Landing Airline Industry Strategy, Service, and Safety
Author 
Thomas, Andrew R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-133-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
Author 
Schoitsch, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15651-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings
Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings
Author 
Dolev, Shlomi. editor. Cobb, Jorge. editor. Fischer, Michael. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Global Security, Safety, and Sustainability 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings
Global Security, Safety, and Sustainability 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings
Author 
Tenreiro de Magalhães, Sérgio. editor. Jahankhani, Hamid. editor. Hessami, Ali G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15717-2
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Author 
Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Winckler, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11750-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-086-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Author 
Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Author 
Guerraoui, Rachid. editor. Petit, Franck. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-349-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Global Security, Safety, and Sustainability 5th International Conference, ICGS3 2009, London, UK, September 1-2, 2009. Proceedings
Global Security, Safety, and Sustainability 5th International Conference, ICGS3 2009, London, UK, September 1-2, 2009. Proceedings
Author 
Jahankhani, Hamid. editor. Hessami, Ali G. editor. Hsu, Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04062-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Safety and Security in Multiagent Systems Research Results from 2004-2006
Safety and Security in Multiagent Systems Research Results from 2004-2006
Author 
Barley, Mike. editor. Mouratidis, Haralambos. editor. Unruh, Amy. editor. Spears, Diana. editor. Scerri, Paul. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04879-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Adaptive Cooperation between Driver and Assistant System Improving Road Safety
Adaptive Cooperation between Driver and Assistant System Improving Road Safety
Author 
Holzmann, Frédéric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74474-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Author 
Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
Author 
Kulkarni, Sandeep. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89335-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
Author 
Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75101-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Author 
Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76627-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
Author 
Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-49823-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
Author 
Górski, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11875567
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006
Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-447-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139109
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
Author 
Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11563228
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
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:
56. 
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:
57. 
Cover image for Critical Infrastructures at Risk Securing the European Electric Power System
Critical Infrastructures at Risk Securing the European Electric Power System
Author 
Gheorghe, A.V. editor. Masera, M. editor. Weijnen, M. editor. Vries, De L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4364-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Author 
Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Author 
Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28859-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Improved FMEA Methods for Proactive Healthcare Risk Analysis
Improved FMEA Methods for Proactive Healthcare Risk Analysis
Author 
Liu, Hu-Chen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Dependable Multicore Architectures at Nanoscale
Dependable Multicore Architectures at Nanoscale
Author 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Author 
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Ahram, Tareq. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60822-8
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015
Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015
Author 
Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4980-4
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
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:
66. 
Cover image for Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60825-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA
Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA
Author 
Boring, Ronald Laurids. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60645-3
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Fechtelkotter, Paul. editor. Legatt, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60204-2
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Author 
Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60588-3
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Author 
Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Author 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65948-0
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
Author 
Tryfonas, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58460-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Author 
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29628-9
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Author 
Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46810-5
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Author 
Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33693-0
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Agile Risk Management
Agile Risk Management
Author 
Moran, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05008-9
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
Cover image for Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systems
Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systems
Author 
Isermann, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12767-0
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
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:
89. 
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:
90. 
Cover image for Statistics for Innovation Statistical Design of “Continuous” Product Innovation
Statistics for Innovation Statistical Design of “Continuous” Product Innovation
Author 
Erto, Pasquale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0815-1
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers
Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers
Author 
Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03552-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Author 
Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05465-5
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Manufacturing Execution Systems — MES
Manufacturing Execution Systems — MES
Author 
Kletti, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-49744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists
Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists
Author 
Saunders, Sam C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-48538-6
Format: 
Availability 
Online Library~1
Available:
Copies: