Search Results for - Narrowed by: Bensalem, Saddek. editor. - SpringerLink (Online service) - Springer E-Book Collection SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Bensalem$00252C$002bSaddek.$002beditor.$002509Bensalem$00252C$002bSaddek.$002beditor.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026ps$003d300? 2024-06-17T15:09:31Z Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222327 2024-06-17T15:09:31Z 2024-06-17T15:09:31Z Yazar&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481<br/><a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/> From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24053 2024-06-17T15:09:31Z 2024-06-17T15:09:31Z Yazar&#160;Bensalem, Saddek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54848-2">http://dx.doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/>