Catalog > Științe > Inginerie / Tehnică > Electronică, inginerie electrică > Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

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

Ajutor

Copertina de 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.

€64.05

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format EPUB ● ISBN 9783031321573 ● Editor Georgiana Caltais & Christian Schilling ● Editura Springer Nature Switzerland ● Publicat 2023 ● Descărcabil 3 ori ● Valută EUR ● ID 9010023 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Georgiana Caltais Christian Schilling

18.849 Ebooks din această categorie

Copertina de Denise Brehaut: GMDSS

Denise Brehaut: GMDSS

The Global Maritime Distress and Safety System (GMDSS) – the maritime equivalent to the emergency services number – provides a fast and efficient way of calling for assistance at sea, whatever the si …

Copertina de S.B. Furber: VLSI Risc Architecture and Organization

S.B. Furber: VLSI Risc Architecture and Organization

With the expectation that architectural improvements will play a significant role inadvancing processor performance, it is critical for readers to maintain an up-to-date, unified overview of technolo …

Copertina de Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

Copertina de Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

Copertina de Thomas Sikina: Introduction to Active Phased Arrays

Thomas Sikina: Introduction to Active Phased Arrays

Written by a renowned expert in the field, this book presents the fundamentals of phased array systems, including contemporary and advanced methods. It features applications ranging from advanced and …

Copertina de 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 …

Copertina de Spyros G. Tzafestas: Intelligent Robotic Systems

Spyros G. Tzafestas: Intelligent Robotic Systems

A multiplicity of techniques and angles of attack are incorporated in 18 contributions describing recent developments in the structure, architecture, programming, control, and implementation of indus …

Copertina de Nancy (Sinhgad Institutes SPPU, Pune, India.) Ambritta P. & Arvind Vinayak (Sinhgad Institutes SPPU, Pune, India.) Deshpande: The Convergence of Internet of Things and Cloud for Smart Computing

Nancy (Sinhgad Institutes SPPU, Pune, India.) Ambritta P. & Arvind Vinayak (Sinhgad Institutes SPPU, Pune, India.) Deshpande: The Convergence of Internet of Things and Cloud for Smart Computing

This book presents the know-how of the real-time Io T application development activity including a basic understanding of the Io T architecture, use cases, smart computing, and the associated challen …

Copertina de Lixiang Yang: The Art of Linux Kernel Design

Lixiang Yang: The Art of Linux Kernel Design

Uses the Running Operation as the Main Thread Difficulty in understanding an operating system (OS) lies not in the technical aspects, but in the complex relationships inside the operating systems. Th …

Copertina de Chiranji Lal Chowdhary: Intelligent Systems

Chiranji Lal Chowdhary: Intelligent Systems

This volume helps to fill the gap between data analytics, image processing, and soft computing practices. Soft computing methods are used to focus on data analytics and image processing to develop go …

Pagina următoare >>>