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 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/>
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 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/>
Handbook of Model Checking
ent://SD_ILS/0/SD_ILS:401293
2024-12-24T01:10:26Z
2024-12-24T01:10:26Z
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-24T01:10:26Z
2024-12-24T01:10:26Z
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/>
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 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/>
Software Product Quality Control
ent://SD_ILS/0/SD_ILS:334625
2024-12-24T01:10:26Z
2024-12-24T01:10:26Z
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/>
Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen
ent://SD_ILS/0/SD_ILS:337101
2024-12-24T01:10:26Z
2024-12-24T01:10:26Z
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-24T01:10:26Z
2024-12-24T01:10:26Z
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-24T01:10:26Z
2024-12-24T01:10:26Z
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/>
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 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/>
Software Reliability Assessment with OR Applications
ent://SD_ILS/0/SD_ILS:168454
2024-12-24T01:10:26Z
2024-12-24T01:10:26Z
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/>
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 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/>
System Software Reliability
ent://SD_ILS/0/SD_ILS:175367
2024-12-24T01:10:26Z
2024-12-24T01:10:26Z
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/>
Embedded Systems - qualitätsorientierte Entwicklung
ent://SD_ILS/0/SD_ILS:181370
2024-12-24T01:10:26Z
2024-12-24T01:10:26Z
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/>