Ebook > Scienza > Tecnica > Elettronica, ingegneria elettrica, telecomunicazioni > Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

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

Supporto

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

€62.76

Buy this ebook and get 1 more FREE!

Lingua Inglese ● Formato EPUB ● ISBN 9783031321573 ● Editore Georgiana Caltais & Christian Schilling ● Casa editrice Springer Nature Switzerland ● Pubblicato 2023 ● Scaricabile 3 volte ● Moneta EUR ● ID 9010023 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Georgiana Caltais Christian Schilling

18.040 Ebook in questa categoria

Copertina di Kamal M. (SVNIT, India) Captain & Manjunath V. (DAIICT, India) Joshi: Spectrum Sensing for Cognitive Radio

Kamal M. (SVNIT, India) Captain & Manjunath V. (DAIICT, India) Joshi: Spectrum Sensing for Cognitive Radio

This comprehensive reference text discusses concepts of cognitive radio and the advances in the field of spectrum sensing. This text discusses the concept of cognitive radio for next generation w …

Copertina di Artur (Cypress Semiconductor, San Diego, CA, USA) Balasinski: Semiconductors

Artur (Cypress Semiconductor, San Diego, CA, USA) Balasinski: Semiconductors

Because of the continuous evolution of integrated circuit manufacturing (ICM) and design for manufacturability (Df M), most books on the subject are obsolete before they even go to press. That’s why …

Copertina di Judy Pecht: Long-Term Non-Operating Reliability of Electronic Products

Judy Pecht: Long-Term Non-Operating Reliability of Electronic Products

In today”s electronic environment, operating reliability for continued daily use of electronic products is essential. This book discusses the reliability of products that lie dormant for long …

Copertina di L. C. Jain: Recent Advances in Artificial Neural Networks

L. C. Jain: Recent Advances in Artificial Neural Networks

Neural networks represent a new generation of information processing paradigms designed to mimic-in a very limited sense-the human brain. They can learn, recall, and generalize from training data, an …

Copertina di Hossam Fattah: LTE Cellular Narrowband Internet of Things (NB-IoT)

Hossam Fattah: LTE Cellular Narrowband Internet of Things (NB-IoT)

NB-Io T is the Internet of Things (Io T) technology used for cellular communication. NB-Io T devices deliver much better capability and performance, such as: increased area coverage of up to one kilo …

Copertina di Alan Davy & Saim Ghafoor: Next Generation Wireless Terahertz Communication Networks

Alan Davy & Saim Ghafoor: Next Generation Wireless Terahertz Communication Networks

The rapid growth of the data traffic demands new ways to achieve high-speed wireless links. The backbone networks, data centers, mission-critical applications, as well as end-users sitting in office …

Copertina di Vijayan Sugumaran: Insights into Advancements in Intelligent Information Technologies: Discoveries

Vijayan Sugumaran: Insights into Advancements in Intelligent Information Technologies: Discoveries

Copertina di Victor Chang & Robert John Walters: Delivery and Adoption of Cloud Computing Services in Contemporary Organizations

Victor Chang & Robert John Walters: Delivery and Adoption of Cloud Computing Services in Contemporary Organizations

Copertina di Joanna Lumsden: Emerging Perspectives on the Design, Use, and Evaluation of Mobile and Handheld Devices

Joanna Lumsden: Emerging Perspectives on the Design, Use, and Evaluation of Mobile and Handheld Devices

Copertina di Mahmoud Elkhodr: Enabling Technologies and Architectures for Next-Generation Networking Capabilities

Mahmoud Elkhodr: Enabling Technologies and Architectures for Next-Generation Networking Capabilities

Pagina successiva >>>