Imagem da capa

Challenges of Software Verification

This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and c...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Arceri, Vincenzo (Editor), Cortesi, Agostino (Editor), Ferrara, Pietro (Editor), Olliaro, Martina (Editor)
Formato:	Recurso Eletrônico livro eletrônico
Idioma:	inglês
Publicado em:	Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Edição:	1st ed. 2023.
coleção:	Intelligent Systems Reference Library, 238
Assuntos:	Telecommunication. Software engineering. Data protection. Internet of things. Communications Engineering, Networks. Software Engineering. Data and Information Security. Internet of Things.
Acesso em linha:	https://doi.org/10.1007/978-981-19-9601-6
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Unleashing the Power of Blockchain and IoT for Water Informatics
Publicado em: (2025)

Model-Based Approaches to the Internet of Things
por: Hirmer, Pascal
Publicado em: (2023)

Technological Sustainability and Business Competitive Advantage
Publicado em: (2023)

Securing the Connected World Exploring Emerging Threats and Innovative Solutions /
Publicado em: (2025)

Proceedings of the 13th International Conference on Computer Engineering and Networks Volume II /
Publicado em: (2024)

Proceedings of the 13th International Conference on Computer Engineering and Networks Volume I /
Publicado em: (2024)

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume II /
Publicado em: (2025)

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume III /
Publicado em: (2025)

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume I /
Publicado em: (2025)

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume IV /
Publicado em: (2025)

Proceedings of the 13th International Conference on Computer Engineering and Networks Volume III /
Publicado em: (2024)

Secure Data Sensing, Computing, and Dissemination in Vehicular Ad Hoc Networks
por: Xia, Yingjie, et al.
Publicado em: (2025)

Communication Technologies and Security Challenges in IoT Present and Future /
Publicado em: (2024)

The Evolution of Pervasive Information Systems
Publicado em: (2023)

Computer Communication, Networking and IoT Proceedings of 5th ICICC 2021, Volume 2 /
Publicado em: (2023)

Advances in VLSI, Communication, and Signal Processing Select Proceedings of the 7th International Conference, VCAS 2024 /
Publicado em: (2025)

Predictive Data Security using AI Insights and Issues of Blockchain, IoT, and DevOps /
Publicado em: (2023)

Federated Learning Applications in the Industrial Internet of Everything (IoE)
Publicado em: (2025)

Proceedings of the 3rd International Conference on Sensing, Measurement, Communication and Internet of Things Technologies
Publicado em: (2025)

Real-World Applications and Implementations of IoT
Publicado em: (2025)

IoT Enabled Computer-Aided Systems for Smart Buildings
Publicado em: (2023)

Mobile Crowdsensing and Remote Sensing in Smart Cities
Publicado em: (2025)

Proceedings of IEMTRONICS 2024 International IoT, Electronics and Mechatronics Conference, Volume 2 /
Publicado em: (2025)

Proceedings of IEMTRONICS 2024 International IoT, Electronics and Mechatronics Conference, Volume 1 /
Publicado em: (2025)

Internet of Vehicles and Computer Vision Solutions for Smart City Transformations
Publicado em: (2025)

9th International Conference on Mobility, IoT and Smart Cities EAI Mobility IoT 2022 /
Publicado em: (2023)

Smart Cities: Importance of Management and Innovations for Sustainable Development Towards Mobility, Internet of Things and Smart Cities /
Publicado em: (2024)

The Internet of Educational Things Enhancing Students’ Engagement and Learning Performance /
por: Kurni, Muralidhar, et al.
Publicado em: (2025)

Internet of Things 4th International Conference, ICIoT 2023, Chennai, India, April 26–28, 2023, Revised Selected Papers /
Publicado em: (2025)

Cryptology and Network Security with Machine Learning Proceedings of ICCNSML 2022 /
Publicado em: (2024)

Cryptology and Network Security with Machine Learning Proceedings of ICCNSML 2023 /
Publicado em: (2024)

Cybersecurity Vigilance and Security Engineering of Internet of Everything
Publicado em: (2024)

International Conference on Innovative Computing and Communications Proceedings of ICICC 2022, Volume 3 /
Publicado em: (2023)

International Conference on Innovative Computing and Communications Proceedings of ICICC 2022, Volume 2 /
Publicado em: (2023)

International Conference on Innovative Computing and Communications Proceedings of ICICC 2023, Volume 3 /
Publicado em: (2023)

International Conference on Innovative Computing and Communications Proceedings of ICICC 2023, Volume 1 /
Publicado em: (2023)

International Conference on Innovative Computing and Communications Proceedings of ICICC 2022, Volume 1 /
Publicado em: (2023)

From Internet of Things to Internet of Intelligence
Publicado em: (2024)

International Conference on Innovative Computing and Communications Proceedings of ICICC 2023, Volume 2 /
Publicado em: (2024)

Innovative Computing and Communications Proceedings of ICICC 2024, Volume 1 /
Publicado em: (2024)