Catalog > Ciência > Técnica > Eletrônica, Engenharia Elétrica, Telecomunicações > 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

Apoio

Capa do 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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783031661495 ● Editor Thomas Neele & Anton Wijs ● Editora Springer Nature Switzerland ● Publicado 2024 ● Carregável 3 vezes ● Moeda EUR ● ID 9999264 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Thomas Neele Anton Wijs

19.094 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Capa do 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- …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Próxima página >>>