Search Results for Industrial safety. - Narrowed by: Programming Techniques.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dIndustrial$002bsafety.$0026qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300?2024-10-01T11:55:29ZEngineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:2252692024-10-01T11:55:29Z2024-10-01T11:55:29ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Introduction to Software Qualityent://SD_ILS/0/SD_ILS:207732024-10-01T11:55:29Z2024-10-01T11:55:29ZYazar O’Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06106-1">http://dx.doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-10-01T11:55:29Z2024-10-01T11:55:29ZYazar Rayadurgam, Sanjai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40648-0">http://dx.doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>