Search Results for - Narrowed by: Software engineering. - Bouajjani, Ahmed. editor.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026qf$003dAUTHOR$002509Yazar$002509Bouajjani$00252C$002bAhmed.$002beditor.$002509Bouajjani$00252C$002bAhmed.$002beditor.$0026ps$003d300?2024-05-22T07:12:52ZFormal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2225972024-05-22T07:12:52Z2024-05-22T07:12:52ZYazar Bouajjani, Ahmed. editor.<br/><a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2249832024-05-22T07:12:52Z2024-05-22T07:12:52ZYazar Bouajjani, Ahmed. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:235502024-05-22T07:12:52Z2024-05-22T07:12:52ZYazar Bouajjani, Ahmed. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26850-7">http://dx.doi.org/10.1007/978-3-319-26850-7</a><br/>Format: Electronic Resources<br/>