Catalog > Naturwissenschaft > Technik > Elektronik, Elektrotechnik, Nachrichtentechnik > Thomas Neele & Anton Wijs: Model Checking Software (ePUB)

Thomas Neele & Anton Wijs
Model Checking Software [EPUB ebook]
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Support

Cover von Thomas Neele & Anton Wijs: Model Checking Software (ePUB)

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

€57.99

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● ISBN 9783031661495 ● Herausgeber Thomas Neele & Anton Wijs ● Verlag Springer Nature Switzerland ● Erscheinungsjahr 2024 ● herunterladbar 3 mal ● Währung EUR ● ID 9999264 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Thomas Neele Anton Wijs

18.931 Ebooks in dieser Kategorie

Cover von 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 …

Cover von 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 …

Cover von 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 von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von Dave Adamy: Practical Communication Theory

Dave Adamy: Practical Communication Theory

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

Cover von 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 …

Cover von Ravi Das: Practical AI for Cybersecurity

Ravi Das: Practical AI for Cybersecurity

The world of cybersecurity and the landscape that it possesses is changing on a dynamic basis. It seems like that hardly one threat vector is launched, new variants of it are already on the way. IT S …

nächste Seite >>>