Search Results for System safety. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystem$002bsafety.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?2025-12-27T17:23:28ZImprovements in System Safetyent://SD_ILS/0/SD_ILS:1757112025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-100-8">http://dx.doi.org/10.1007/978-1-84800-100-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Adaptive Cooperation between Driver and Assistant System Improving Road Safetyent://SD_ILS/0/SD_ILS:1871712025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Holzmann, Frédéric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74474-0">http://dx.doi.org/10.1007/978-3-540-74474-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005ent://SD_ILS/0/SD_ILS:1752572025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthdayent://SD_ILS/0/SD_ILS:5278042025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015ent://SD_ILS/0/SD_ILS:4008092025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4980-4">https://doi.org/10.1007/978-981-10-4980-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, USAent://SD_ILS/0/SD_ILS:4009882025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Arezes, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60525-8">https://doi.org/10.1007/978-3-319-60525-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, USAent://SD_ILS/0/SD_ILS:4018292025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60825-9">https://doi.org/10.1007/978-3-319-60825-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, USAent://SD_ILS/0/SD_ILS:4018302025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Boring, Ronald Laurids. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60645-3">https://doi.org/10.1007/978-3-319-60645-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable Multicore Architectures at Nanoscaleent://SD_ILS/0/SD_ILS:4021902025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54422-9">https://doi.org/10.1007/978-3-319-54422-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governanceent://SD_ILS/0/SD_ILS:4024622025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69224-1">https://doi.org/10.1007/978-3-319-69224-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, USAent://SD_ILS/0/SD_ILS:4025582025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Fechtelkotter, Paul. editor. Legatt, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60204-2">https://doi.org/10.1007/978-3-319-60204-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, USAent://SD_ILS/0/SD_ILS:3995192025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Ahram, Tareq. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60822-8">https://doi.org/10.1007/978-3-319-60822-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Secure Information Society Ethical, Legal and Political Challengesent://SD_ILS/0/SD_ILS:3310512025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331051.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4763-3">http://dx.doi.org/10.1007/978-1-4471-4763-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthdayent://SD_ILS/0/SD_ILS:3311092025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4971-2">http://dx.doi.org/10.1007/978-1-4471-4971-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Product Quality Controlent://SD_ILS/0/SD_ILS:3346252025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Wagner, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334625.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungenent://SD_ILS/0/SD_ILS:3377052025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Breckenfelder, Christof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337705.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-01128-4">http://dx.doi.org/10.1007/978-3-658-01128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Fault Classification to Fault Tolerance for Multi-Agent Systemsent://SD_ILS/0/SD_ILS:3311272025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331127.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5046-6">http://dx.doi.org/10.1007/978-1-4471-5046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Respondersent://SD_ILS/0/SD_ILS:1744442025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Grant, Casey C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8277-2">http://dx.doi.org/10.1007/978-1-4614-8277-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risk Management Technologies With Logic and Probabilistic Modelsent://SD_ILS/0/SD_ILS:2066412025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Solozhentsev, E.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4288-8">http://dx.doi.org/10.1007/978-94-007-4288-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Resilience Assessment and Evaluation of Computing Systemsent://SD_ILS/0/SD_ILS:1965922025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29032-9">http://dx.doi.org/10.1007/978-3-642-29032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systemsent://SD_ILS/0/SD_ILS:1921032025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Isermann, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12767-0">http://dx.doi.org/10.1007/978-3-642-12767-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependability of Networked Computer-based Systemsent://SD_ILS/0/SD_ILS:1684882025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-318-3">http://dx.doi.org/10.1007/978-0-85729-318-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Risk Analysis The CORAS Approachent://SD_ILS/0/SD_ILS:1919582025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Lund, Mass Soldal. author. Solhaug, Bjørnar. author. Stølen, Ketil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12323-8">http://dx.doi.org/10.1007/978-3-642-12323-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917912025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Winckler, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11750-3">http://dx.doi.org/10.1007/978-3-642-11750-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistics for Innovation Statistical Design of “Continuous” Product Innovationent://SD_ILS/0/SD_ILS:2043052025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Erto, Pasquale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-0815-1">http://dx.doi.org/10.1007/978-88-470-0815-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systemsent://SD_ILS/0/SD_ILS:1912792025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05465-5">http://dx.doi.org/10.1007/978-3-642-05465-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papersent://SD_ILS/0/SD_ILS:1906582025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03552-4">http://dx.doi.org/10.1007/978-3-642-03552-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Manufacturing Execution Systems — MESent://SD_ILS/0/SD_ILS:1852532025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Kletti, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49744-8">http://dx.doi.org/10.1007/978-3-540-49744-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientistsent://SD_ILS/0/SD_ILS:1664112025-12-27T17:23:28Z2025-12-27T17:23:28ZAuthor Saunders, Sam C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-48538-6">http://dx.doi.org/10.1007/978-0-387-48538-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>