Search Results for Trace analysis. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTrace$002banalysis.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026te$003dILS$0026ps$003d300?2025-01-11T16:07:43ZTools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190902025-01-11T16:07:43Z2025-01-11T16:07:43ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519090.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5190912025-01-11T16:07:43Z2025-01-11T16:07:43ZAuthor Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519091.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21151-0">https://doi.org/10.1007/978-3-319-21151-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Constructive Side-Channel Analysis and Secure Design 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5189052025-01-11T16:07:43Z2025-01-11T16:07:43ZAuthor Mangard, Stefan. editor. Poschmann, Axel Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518905.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21476-4">https://doi.org/10.1007/978-3-319-21476-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352025-01-11T16:07:43Z2025-01-11T16:07:43ZAuthor Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519135.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014ent://SD_ILS/0/SD_ILS:5305612025-01-11T16:07:43Z2025-01-11T16:07:43ZAuthor Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2274-3">https://doi.org/10.1007/978-81-322-2274-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>