Catalog > Wetenschappen > Engineering / Techniek > Elektronica, Elektrotechniek > 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

Ondersteuning

Hoes van 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

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat EPUB ● ISBN 9783031661495 ● Editor Thomas Neele & Anton Wijs ● Uitgeverij Springer Nature Switzerland ● Gepubliceerd 2024 ● Downloadbare 3 keer ● Valuta EUR ● ID 9999264 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Thomas Neele Anton Wijs

19.094 E-boeken in deze categorie

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Hoes van 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- …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Volgende pagina >>>