Search Results for Cyber-Physical Systems. - Narrowed by: Computer engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCyber-Physical$002bSystems.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ps$003d300$0026isd$003dtrue? 2026-04-26T17:47:54Z Machine Learning for Cyber-Physical Systems Selected papers from the International Conference ML4CPS 2023 ent://SD_ILS/0/SD_ILS:603981 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Niggemann, Oliver. editor.&#160;Beyerer, J&uuml;rgen. editor.&#160;Krantz, Maria. editor.&#160;K&uuml;hnert, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47062-2">https://doi.org/10.1007/978-3-031-47062-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technological Innovation for AI-Powered Cyber-Physical Systems 16th&nbsp;IFIP WG 5.5 / SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2025, Caparica, Portugal, July 2 - 4, 2025, Proceedings ent://SD_ILS/0/SD_ILS:609107 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Ferrada, Filipa. editor. (orcid)0000-0002-9328-852X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97051-1">https://doi.org/10.1007/978-3-031-97051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Analytics in Intelligent IoT and Cyber-Physical Systems ent://SD_ILS/0/SD_ILS:601931 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Sharma, Nonita. editor.&#160;Mangla, Monika. editor. (orcid)0000-0002-1752-7226&#160;Shinde, Subhash K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-4518-4">https://doi.org/10.1007/978-981-99-4518-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618120 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Cuppens-Boulahia, Nora. editor.&#160;Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61437-3">https://doi.org/10.1007/978-3-319-61437-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers ent://SD_ILS/0/SD_ILS:618129 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;B&eacute;cue, Adrien. editor.&#160;Cuppens-Boulahia, Nora. editor.&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40385-4">https://doi.org/10.1007/978-3-319-40385-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy ent://SD_ILS/0/SD_ILS:615928 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530&#160;Bouchenak, Sara. editor.&#160;Kopetz, Hermann. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47590-5">https://doi.org/10.1007/978-3-319-47590-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations &amp; Principles of Distributed Manufacturing Elements of Manufacturing Networks, Cyber-Physical Production Systems and Smart Automation ent://SD_ILS/0/SD_ILS:529908 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;K&uuml;hnle, Hermann. author.&#160;Bitsch, G&uuml;nter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18078-6">https://doi.org/10.1007/978-3-319-18078-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme ent://SD_ILS/0/SD_ILS:192807 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Broy, Manfred. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14901-6">http://dx.doi.org/10.1007/978-3-642-14901-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 4 ent://SD_ILS/0/SD_ILS:607914 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Fong, Simon. editor.&#160;Dey, Nilanjan. editor.&#160;Joshi, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-8605-3">https://doi.org/10.1007/978-981-97-8605-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607227 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Dassisti, Michele. editor. (orcid)0000-0001-6984-9203&#160;Madani, Kurosh. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80760-2">https://doi.org/10.1007/978-3-031-80760-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607247 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Dassisti, Michele. editor. (orcid)0000-0001-6984-9203&#160;Madani, Kurosh. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80775-6">https://doi.org/10.1007/978-3-031-80775-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3 ent://SD_ILS/0/SD_ILS:607620 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Fong, Simon. editor.&#160;Dey, Nilanjan. editor.&#160;Joshi, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-8602-2">https://doi.org/10.1007/978-981-97-8602-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 1 ent://SD_ILS/0/SD_ILS:608056 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Tuba, Milan. editor.&#160;Akashe, Shyam. editor.&#160;Joshi, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-8526-1">https://doi.org/10.1007/978-981-97-8526-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 2 ent://SD_ILS/0/SD_ILS:609192 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Ahmad, Khaleel. editor.&#160;Dulhare, Uma N. editor.&#160;Badar, Mohammad Sufian. editor.&#160;Ahamed, Jameel. editor.&#160;Rizvi, M. A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4074-4">https://doi.org/10.1007/978-981-96-4074-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security. ESORICS 2024 International Workshops SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:610530 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Kalutarage, Harsha. editor. (orcid)0000-0001-6430-9558&#160;Yanai, Naoto. editor. (orcid)0000-0002-0817-6188&#160;Kozik, Rafa&#322;. editor. (orcid)0000-0001-7122-3306&#160;Ksieniewicz, Pawe&#322;. editor. (orcid)0000-0001-9578-8395<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82362-6">https://doi.org/10.1007/978-3-031-82362-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607516 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Oliva, Gabriele. editor. (orcid)0000-0001-7257-4079&#160;Panzieri, Stefano. editor. (orcid)0000-0002-6042-5479&#160;H&auml;mmerli, Bernhard. editor. (orcid)0000-0001-6251-1154&#160;Pascucci, Federica. editor. (orcid)0000-0002-8226-0716&#160;Faramondi, Luca. editor. (orcid)0000-0002-3750-2405<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84260-3">https://doi.org/10.1007/978-3-031-84260-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 1 ent://SD_ILS/0/SD_ILS:609646 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Ahmad, Khaleel. editor.&#160;Dulhare, Uma N. editor.&#160;Badar, Mohammad Sufian. editor.&#160;Ahamed, Jameel. editor.&#160;Rizvi, M. A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4078-2">https://doi.org/10.1007/978-981-96-4078-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:607891 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Barker, Ken. editor.&#160;Navarro-Arribas, Guillermo. editor. (orcid)0000-0003-3535-942X&#160;P&eacute;rez-Sol&agrave;, Cristina. editor. (orcid)0000-0001-7534-1326&#160;Delgado-Segura, Sergi. editor. (orcid)0000-0001-7783-7288<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82349-7">https://doi.org/10.1007/978-3-031-82349-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 2 ent://SD_ILS/0/SD_ILS:608366 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Tuba, Milan. editor.&#160;Akashe, Shyam. editor.&#160;Joshi, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-8591-9">https://doi.org/10.1007/978-981-97-8591-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602393 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Jin, Hai. editor. (orcid)0000-0002-3934-7605&#160;Yu, Zhiwen. editor.&#160;Yu, Chen. editor.&#160;Zhou, Xiaokang. editor.&#160;Lu, Zeguang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-9893-7">https://doi.org/10.1007/978-981-99-9893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II ent://SD_ILS/0/SD_ILS:602394 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Jin, Hai. editor. (orcid)0000-0002-3934-7605&#160;Yu, Zhiwen. editor.&#160;Yu, Chen. editor.&#160;Zhou, Xiaokang. editor.&#160;Lu, Zeguang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-9896-8">https://doi.org/10.1007/978-981-99-9896-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604856 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Moser, Bernhard. editor.&#160;Fischer, Lukas. editor.&#160;Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953&#160;Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602&#160;Glock, Anna-Christina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68302-2">https://doi.org/10.1007/978-3-031-68302-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Information Security and Applications 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602288 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Shao, Jun. editor.&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Meng, Weizhi. editor. (orcid)0000-0003-4384-5786&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-9614-8">https://doi.org/10.1007/978-981-99-9614-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602298 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Liu, Jianghua. editor.&#160;Xu, Lei. editor. (orcid)0000-0001-9178-6640&#160;Huang, Xinyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51399-2">https://doi.org/10.1007/978-3-031-51399-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Transformation Industry 4.0 to Society 5.0 ent://SD_ILS/0/SD_ILS:602450 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Kumar, Avadhesh. editor.&#160;Sagar, Shrddha. editor.&#160;Thangamuthu, Poongodi. editor.&#160;Balamurugan, B. editor. (orcid)0000-0003-2805-4951&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8118-2">https://doi.org/10.1007/978-981-99-8118-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security. ESORICS 2023 International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:602834 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;Abie, Habtamu. editor. (orcid)0000-0003-0866-5050&#160;Ranise, Silvio. editor. (orcid)0000-0001-7269-9285&#160;Verderame, Luca. editor. (orcid)0000-0001-7155-7429&#160;Cambiaso, Enrico. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54129-2">https://doi.org/10.1007/978-3-031-54129-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security. ESORICS 2023 International Workshops CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:602750 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Cuppens-Boulahia, Nora. editor. (orcid)0000-0001-8792-0413&#160;Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54204-6">https://doi.org/10.1007/978-3-031-54204-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ITNG 2024: 21st International Conference on Information Technology-New Generations ent://SD_ILS/0/SD_ILS:604226 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Latifi, Shahram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-56599-1">https://doi.org/10.1007/978-3-031-56599-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications ent://SD_ILS/0/SD_ILS:602153 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Buttazzo, Giorgio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45410-3">https://doi.org/10.1007/978-3-031-45410-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Detection of Intrusions and Malware, and Vulnerability Assessment 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17-19, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604263 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Maggi, Federico. editor. (orcid)0000-0003-1073-8036&#160;Egele, Manuel. editor. (orcid)0000-0001-5038-2682&#160;Payer, Mathias. editor. (orcid)0000-0001-5054-7547&#160;Carminati, Michele. editor. (orcid)0000-0001-8284-6074&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64171-8">https://doi.org/10.1007/978-3-031-64171-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614260 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Polikarpova, Nadia. editor.&#160;Schneider, Steve. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615972 2026-04-26T17:47:54Z 2026-04-26T17:47:54Z Author&#160;Tonetta, Stefano. editor.&#160;Schoitsch, Erwin. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66284-8">https://doi.org/10.1007/978-3-319-66284-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>