Ebook > Sciences > Engineering / Technics > Electronics, Electrical Engineering, Communications Engineering > Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

Georgiana Caltais & Christian Schilling
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Support

Adobe DRM

Cover of Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

€62.32

Language English ● Format EPUB ● ISBN 9783031321573 ● Editor Georgiana Caltais & Christian Schilling ● Publisher Springer Nature Switzerland ● Published 2023 ● Downloadable 3 times ● Currency EUR ● ID 9010023 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Georgiana Caltais Christian Schilling

18,073 Ebooks in this category

Cover of M Vinoth (RV Institute of Technology and Management, Bangalore, India) Kumar & Madhumathy (RV Institute of Technology and Management, Bangalore, India) P: Machine Learning and IoT for Intelligent Systems and Smart Applications

M Vinoth (RV Institute of Technology and Management, Bangalore, India) Kumar & Madhumathy (RV Institute of Technology and Management, Bangalore, India) P: Machine Learning and IoT for Intelligent Systems and Smart Applications

The fusion of AI and Io T enables the systems to be predictive, prescriptive, and autonomous, and this convergence has evolved the nature of emerging applications from being assisted to augmented, an …

Cover of J Ronayne: Integrated Services Digital Network

J Ronayne: Integrated Services Digital Network

An introduction to ‘ISDN’ which brings the technology up-to-date, incorporating developments in ‘ATM’, ‘SDH’ and Broadband ‘ISDN’. This book is suitable for self-learning communications professionals …

Cover of Roman V. (University of Louisville, Kentucky, USA) Yampolskiy: Artificial Superintelligence

Roman V. (University of Louisville, Kentucky, USA) Yampolskiy: Artificial Superintelligence

A day does not go by without a news article reporting some amazing breakthrough in artificial intelligence (AI). Many philosophers, futurists, and AI researchers have conjectured that human-level AI …

Cover of Pawel Czarnul: Integration of Services into Workflow Applications

Pawel Czarnul: Integration of Services into Workflow Applications

Describing state-of-the-art solutions in distributed system architectures, Integration of Services into Workflow Applications presents a concise approach to the integration of loosely coupled …

Cover of Pooja Chopra & Ashok Kumar: Advances in Networks, Intelligence and Computing

Pooja Chopra & Ashok Kumar: Advances in Networks, Intelligence and Computing

The year 2023 marks the 100th birth anniversary of E.F. Codd (19 August 1923 – 18 April 2003), a computer scientist, who while working for IBM invented the relational model for database management, …

Cover of Russ McKendrick: Learn Ansible

Russ McKendrick: Learn Ansible

Learn how to write and run Ansible Playbooks, from the basics to launching complex multi-tier applications across public cloud platforms such as Amazon Web Services (AWS) and Microsoft Azure Key …

Cover of R. (Galgotias University, India) Indrakumari & T. Ganesh (Galgotias Uni.) Kumar: Deep Learning in Medical Image Analysis

R. (Galgotias University, India) Indrakumari & T. Ganesh (Galgotias Uni.) Kumar: Deep Learning in Medical Image Analysis

This book is designed as a reference text and provides a comprehensive overview of conceptual and practical knowledge about deep learning in medical image processing techniques. The post-pandemic …

Cover of M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

The desired objective of this book is to investigate diversity and mutual coupling effects on MIMO antenna designs for WLAN/Wi MAX/LTE applications, controlled with diversity and ground modification …

Cover of Shuang Geng & Brij B. (Director, International Center for AI: Managing IoT and Mobile Technologies with Innovation, Trust, and Sustainable Computing

Shuang Geng & Brij B. (Director, International Center for AI: Managing IoT and Mobile Technologies with Innovation, Trust, and Sustainable Computing

Focused on the latest mobile technologies, this book addresses specific features (such as Io T) and their adoptions that aim to enable excellence in business in Industry 4.0. Furthermore, this book e …

Cover of Edward Y.L. (Oakland University, USA.) Gu: Advanced Dynamics Modeling, Duality and Control of Robotic Systems

Edward Y.L. (Oakland University, USA.) Gu: Advanced Dynamics Modeling, Duality and Control of Robotic Systems

This book provides detailed fundamental theoretical reviews and preparations necessary for developing advanced dynamics modeling and control strategies for various types of robotic systems. This rese …