Search Results for Design, general. - Narrowed by: Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dDesign$00252C$002bgeneral.$0026qf$003dAUTHOR$002509Yazar$002509Prabhakar$00252C$002bPavithra.$002beditor.$002b$002528orcid$0025290000-0002-5368-3234$002509Prabhakar$00252C$002bPavithra.$002beditor.$002b$002528orcid$0025290000-0002-5368-3234$0026ps$003d300?2024-06-20T15:53:27ZNumerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2267082024-06-20T15:53:27Z2024-06-20T15:53:27ZYazar Bogomolov, Sergiy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217732024-06-20T15:53:27Z2024-06-20T15:53:27ZYazar Jansen, David N. editor. (orcid)0000-0002-6636-3301<br/><a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>