Catalog > Nauka > Technika > Elektronika, elektrotechnika, telekomunikacja > 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

Wsparcie

Pokrywa 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

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format EPUB ● ISBN 9783031661495 ● Redaktor Thomas Neele & Anton Wijs ● Wydawca Springer Nature Switzerland ● Opublikowany 2024 ● Do pobrania 3 czasy ● Waluta EUR ● ID 9999264 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Thomas Neele Anton Wijs

19 094 Ebooki w tej kategorii

Pokrywa 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 …

Pokrywa 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 …

Pokrywa Jae Joon Han & Seungju Han: MPEG-V

Jae Joon Han & Seungju Han: MPEG-V

This book is the first to cover the recently developed MPEG-V standard, explaining the fundamentals of each part of the technology and exploring potential applications. Written by experts in the fiel …

Pokrywa 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 …

Pokrywa Sujoy (KIIT– Deemed University, India) Datta & Pushpendu (University of Nottingham, Ningbo, China) Kar: Interoperability in IoT for Smart Systems

Sujoy (KIIT– Deemed University, India) Datta & Pushpendu (University of Nottingham, Ningbo, China) Kar: Interoperability in IoT for Smart Systems

Interoperability in Io T for Smart Systems discusses the different facets of interoperability issues among the Io T devices and their solutions, the scalability issues in an Io T network, and provide …

Pokrywa Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Pokrywa Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …

Pokrywa 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 …

Pokrywa Ramon (EPSC-UPC, Castelldefels, Spain) Pallas-Areny & Fernando E. Valdes-Perez: Microcontrollers

Ramon (EPSC-UPC, Castelldefels, Spain) Pallas-Areny & Fernando E. Valdes-Perez: Microcontrollers

Microcontrollers exist in a wide variety of models with varying structures and numerous application opportunities. Despite this diversity, it is possible to find consistencies in the architecture of …

Pokrywa Uday (IIT Bombay, Mumbai, India) Khedker & Amitabha (IIT Bombay, Mumbai, India) Sanyal: Data Flow Analysis

Uday (IIT Bombay, Mumbai, India) Khedker & Amitabha (IIT Bombay, Mumbai, India) Sanyal: Data Flow Analysis

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it t …

Następna strona >>>