Ebook > Science > Technique > Electronique, Electrotechnique, Télécommunications > 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

Support

Couverture du 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!

Langue Anglais ● Format EPUB ● ISBN 9783031321573 ● Éditeur Georgiana Caltais & Christian Schilling ● Maison d’édition Springer Nature Switzerland ● Publié 2023 ● Téléchargeable 3 fois ● Devise EUR ● ID 9010023 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Georgiana Caltais Christian Schilling

18 040 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

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

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

Couverture du 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

Couverture du 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

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

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

Page suivante >>>