Search Results for Trace analysis. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTrace$002banalysis.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300$0026isd$003dtrue? 2024-11-08T01:38:43Z Constructive Side-Channel Analysis and Secure Design 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518905 2024-11-08T01:38:43Z 2024-11-08T01:38:43Z Author&#160;Mangard, Stefan. editor.&#160;Poschmann, Axel Y. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518905.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools 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, Proceedings ent://SD_ILS/0/SD_ILS:519090 2024-11-08T01:38:43Z 2024-11-08T01:38:43Z Author&#160;Baier, Christel. editor.&#160;Tinelli, Cesare. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519090.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:519091 2024-11-08T01:38:43Z 2024-11-08T01:38:43Z Author&#160;Taentzer, Gabriele. editor.&#160;Bordeleau, Francis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519091.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519135 2024-11-08T01:38:43Z 2024-11-08T01:38:43Z Author&#160;Bartocci, Ezio. editor.&#160;Majumdar, Rupak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519135.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>