Search Results for Software. - Narrowed by: System safety.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Subject$002509System$002bsafety.$002509System$002bsafety.$0026te$003dILS$0026ps$003d300?dt=list
2024-12-29T00:10:10Z
System Software Reliability
ent://SD_ILS/0/SD_ILS:175367
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Pham, Hoang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-295-0">http://dx.doi.org/10.1007/1-84628-295-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Quality Control
ent://SD_ILS/0/SD_ILS:334625
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author 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/>
Software Reliability Assessment with OR Applications
ent://SD_ILS/0/SD_ILS:168454
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-204-9">http://dx.doi.org/10.1007/978-0-85729-204-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Fault Detection and Correction: Modeling and Applications
ent://SD_ILS/0/SD_ILS:399124
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1162-8">https://doi.org/10.1007/978-981-13-1162-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Failure Investigation A Near-Miss Analysis Approach
ent://SD_ILS/0/SD_ILS:402680
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61334-5">https://doi.org/10.1007/978-3-319-61334-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment
ent://SD_ILS/0/SD_ILS:269097
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Allocco, Michael.<br/>Preferred Shelf Number TA169.7 A45 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Software safety and reliability : techniques, approaches, and standards of key industrial sectors
ent://SD_ILS/0/SD_ILS:113008
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Herrmann, Debra S.<br/>Preferred Shelf Number QA76.76.R44 H39 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Critical Infrastructure Security and Resilience Theories, Methods, Tools and Technologies
ent://SD_ILS/0/SD_ILS:484275
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Gritzalis, Dimitris. editor. Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 Stergiopoulos, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00024-0">https://doi.org/10.1007/978-3-030-00024-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Automotive Connectivity and Cybersecurity Trends, Technologies, Innovations and Applications
ent://SD_ILS/0/SD_ILS:483042
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Möller, Dietmar P.F. author. Haas, Roland E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73512-2">https://doi.org/10.1007/978-3-319-73512-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Model Checking
ent://SD_ILS/0/SD_ILS:401293
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author 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/>
Formal Methods for Safety and Security Case Studies for Aerospace Applications
ent://SD_ILS/0/SD_ILS:402229
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4121-1">https://doi.org/10.1007/978-981-10-4121-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
ent://SD_ILS/0/SD_ILS:400395
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94054-0">https://doi.org/10.1007/978-3-319-94054-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen
ent://SD_ILS/0/SD_ILS:337101
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Hahn, Axel. author. Häusler, Stefan. author. große Austing, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337101.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34510-4">http://dx.doi.org/10.1007/978-3-642-34510-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen
ent://SD_ILS/0/SD_ILS:337705
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author 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/>
Resilience Assessment and Evaluation of Computing Systems
ent://SD_ILS/0/SD_ILS:196592
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author 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/>
Model-Based Requirements Engineering
ent://SD_ILS/0/SD_ILS:247874
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Holt, Jon Perry, Simon A Brownsword, Mike<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBPC009E">http://dx.doi.org/10.1049/PBPC009E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulator-based Human Factors Studies Across 25 Years The History of the Halden Man-Machine Laboratory
ent://SD_ILS/0/SD_ILS:168392
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Skjerve, Ann Britt. editor. Bye, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-003-8">http://dx.doi.org/10.1007/978-0-85729-003-8</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 Papers
ent://SD_ILS/0/SD_ILS:190658
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author 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/>
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
ent://SD_ILS/0/SD_ILS:191279
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author 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/>
Embedded Systems - qualitätsorientierte Entwicklung
ent://SD_ILS/0/SD_ILS:181370
2024-12-29T00:10:10Z
2024-12-29T00:10:10Z
Author Bender, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138984">http://dx.doi.org/10.1007/b138984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>