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

Ondersteuning

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

Taal Engels ● Formaat EPUB ● ISBN 9783031321573 ● Editor Georgiana Caltais & Christian Schilling ● Uitgeverij Springer Nature Switzerland ● Gepubliceerd 2023 ● Downloadbare 3 keer ● Valuta EUR ● ID 9010023 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

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

Georgiana Caltais Christian Schilling

18.040 E-boeken in deze categorie

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

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

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

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

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

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

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

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

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

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

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

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

Volgende pagina >>>