Search Results for Software engineering - Narrowed by: System safety. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering$0026qf$003dSUBJECT$002509Subject$002509System$002bsafety.$002509System$002bsafety.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-24T01:10:26Z Software Fault Detection and Correction: Modeling and Applications ent://SD_ILS/0/SD_ILS:399124 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Peng, Rui. author.&#160;Li, Yan-Fu. author.&#160;Liu, Yu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Wienke, B. R. author.&#160;O'Leary, T. R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Model Checking ent://SD_ILS/0/SD_ILS:401293 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Clarke, Edmund M. editor.&#160;Henzinger, Thomas A. editor.&#160;Veith, Helmut. editor.&#160;Bloem, Roderick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Safety and Security Case Studies for Aerospace Applications ent://SD_ILS/0/SD_ILS:402229 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Nanda, Manju. editor.&#160;Jeppu, Yogananda. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Failure Investigation A Near-Miss Analysis Approach ent://SD_ILS/0/SD_ILS:402680 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Eloff, Jan. author.&#160;Bihina Bella, Madeleine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Quality Control ent://SD_ILS/0/SD_ILS:334625 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Wagner, Stefan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334625.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen ent://SD_ILS/0/SD_ILS:337101 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Hahn, Axel. author.&#160;H&auml;usler, Stefan. author.&#160;gro&szlig;e Austing, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337101.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen ent://SD_ILS/0/SD_ILS:337705 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Breckenfelder, Christof. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337705.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resilience Assessment and Evaluation of Computing Systems ent://SD_ILS/0/SD_ILS:196592 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Wolter, Katinka. editor.&#160;Avritzer, Alberto. editor.&#160;Vieira, Marco. editor.&#160;van Moorsel, Aad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Skjerve, Ann Britt. editor.&#160;Bye, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reliability Assessment with OR Applications ent://SD_ILS/0/SD_ILS:168454 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Kapur, P.K. author.&#160;Pham, Hoang. author.&#160;Gupta, A. author.&#160;Jha, P.C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Ahuja, Ravindra K. editor.&#160;M&ouml;hring, Rolf H. editor.&#160;Zaroliagis, Christos D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Software Reliability ent://SD_ILS/0/SD_ILS:175367 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Pham, Hoang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems - qualit&auml;tsorientierte Entwicklung ent://SD_ILS/0/SD_ILS:181370 2024-12-24T01:10:26Z 2024-12-24T01:10:26Z Author&#160;Bender, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138984">http://dx.doi.org/10.1007/b138984</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>