E-bok > Sciences > Teknik > Elektronik, Elektroteknik > 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

Stöd

Omslag till 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!

Språk Engelska ● Formatera EPUB ● ISBN 9783031321573 ● Redaktör Georgiana Caltais & Christian Schilling ● Utgivare Springer Nature Switzerland ● Publicerad 2023 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 9010023 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Georgiana Caltais Christian Schilling

18 040 E-böcker i denna kategori

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

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

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

Omslag till 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

Omslag till 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

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

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

Nästa sida >>>