Search Results for Mousavi, Mohammad Reza.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMousavi$00252C$002bMohammad$002bReza.$0026te$003dILS$0026ps$003d300?2024-11-02T21:06:28ZCyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189902024-11-02T21:06:28Z2024-11-02T21:06:28ZAuthor Berger, Christian. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518990.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25141-7">https://doi.org/10.1007/978-3-319-25141-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994062024-11-02T21:06:28Z2024-11-02T21:06:28ZAuthor Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and analysis of communicating systemsent://SD_ILS/0/SD_ILS:3649672024-11-02T21:06:28Z2024-11-02T21:06:28ZAuthor Groote, J. F. (Jan Friso), 1965-, author. Mousavi, Mohammad Reza, 1978-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Preferred Shelf Number ONLINE(364967.1)<br/>Electronic Access Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of finite state based models and applicationsent://SD_ILS/0/SD_ILS:2916512024-11-02T21:06:28Z2024-11-02T21:06:28ZAuthor Wang, Jiacun, editor of compilation.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439846193">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>