Search Results for System safety. - Narrowed by: SpringerLink (Online service) - Electronic Book - Simulation and Modeling.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSystem$002bsafety.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dSUBJECT$002509Konu$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ps$003d300?2024-09-06T05:34:26ZSimulations for Design and Manufacturing Select Papers from AIMTDR 2016ent://SD_ILS/0/SD_ILS:2231432024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Dixit, Uday S. editor.<br/><a href="https://doi.org/10.1007/978-981-10-8518-5">https://doi.org/10.1007/978-981-10-8518-5</a><br/>Format: Electronic Resources<br/>New Perspectives on Applied Industrial Tools and Techniquesent://SD_ILS/0/SD_ILS:2211092024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963<br/><a href="https://doi.org/10.1007/978-3-319-56871-3">https://doi.org/10.1007/978-3-319-56871-3</a><br/>Format: Electronic Resources<br/>Tunnel Fire Testing and Modeling The Morgex North Tunnel Experimentent://SD_ILS/0/SD_ILS:2259692024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Borghetti, Fabio. author.<br/><a href="https://doi.org/10.1007/978-3-319-49517-0">https://doi.org/10.1007/978-3-319-49517-0</a><br/>Format: Electronic Resources<br/>Fire Safety of Historical Buildings Traditional Versus Innovative “Behavioural Design” Solutions by Using Wayfinding Systemsent://SD_ILS/0/SD_ILS:2259412024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Bernardini, Gabriele. author.<br/><a href="https://doi.org/10.1007/978-3-319-55744-1">https://doi.org/10.1007/978-3-319-55744-1</a><br/>Format: Electronic Resources<br/>Railway Infrastructure Securityent://SD_ILS/0/SD_ILS:204752024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Setola, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04426-2">http://dx.doi.org/10.1007/978-3-319-04426-2</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289722024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Collart-Dutilleul, Simon. editor.<br/><a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016ent://SD_ILS/0/SD_ILS:2267442024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Singh, Sanjay. editor.<br/><a href="https://doi.org/10.1007/978-981-10-5849-3">https://doi.org/10.1007/978-981-10-5849-3</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2223882024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:173712024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29510-7">http://dx.doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283322024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Larsen, Kim Guldstrand. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179452024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Mendizabal, Jaizki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38921-9">http://dx.doi.org/10.1007/978-3-319-38921-9</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291692024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4288492024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613<br/><a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285012024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Badger, Julia M. editor.<br/><a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:2237892024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Huhn, Michaela. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63194-3">https://doi.org/10.1007/978-3-319-63194-3</a><br/>Format: Electronic Resources<br/>Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015ent://SD_ILS/0/SD_ILS:243632024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Drechsler, Rolf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-658-09994-7">http://dx.doi.org/10.1007/978-3-658-09994-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224892024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Howar, Falk. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2238292024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Aceto, Luca. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2260152024-09-06T05:34:26Z2024-09-06T05:34:26ZYazar Sun, Guanglu. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73317-3">https://doi.org/10.1007/978-3-319-73317-3</a><br/>Format: Electronic Resources<br/>