Search Results for Automation. - Narrowed by: Computer security. - Mathematical Logic and Formal Languages. - Mathematical logic. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dAutomation.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsecurity.$002509Computer$002bsecurity.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ps$003d300? 2024-07-31T13:10:32Z Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17904 2024-07-31T13:10:32Z 2024-07-31T13:10:32Z Yazar&#160;Lecomte, Thierry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33951-1">http://dx.doi.org/10.1007/978-3-319-33951-1</a><br/>Format:&#160;Electronic Resources<br/> Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428562 2024-07-31T13:10:32Z 2024-07-31T13:10:32Z Yazar&#160;Giorgini, Paolo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-21290-2">https://doi.org/10.1007/978-3-030-21290-2</a><br/>Format:&#160;Electronic Resources<br/>