电子书 > 科学 > 工程/技术 > 电子，电气工程 > 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

支持

的封面 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!

语言英语 ● 格式 EPUB ● ISBN 9783031321573 ● 编辑 Georgiana Caltais & Christian Schilling ● 出版者 Springer Nature Switzerland ● 发布时间 2023 ● 下载 3 时 ● 货币 EUR ● ID 9010023 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Georgiana Caltais Christian Schilling

18,040 此类电子书

的封面 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 …

的封面 Ahmed El Oualkadi & Jamal Zbitou: Handbook of Research on Advanced Trends in Microwave and Communication Engineering

Ahmed El Oualkadi & Jamal Zbitou: Handbook of Research on Advanced Trends in Microwave and Communication Engineering

的封面 Jiandong Li & Chungang Yang: Interference Mitigation and Energy Management in 5G Heterogeneous Cellular Networks

Jiandong Li & Chungang Yang: Interference Mitigation and Energy Management in 5G Heterogeneous Cellular Networks

的封面 Amir Almslmany: Recent Advancements in Airborne Radar Signal Processing: Emerging Research and Opportunities

Amir Almslmany: Recent Advancements in Airborne Radar Signal Processing: Emerging Research and Opportunities

的封面 M Vinoth (RV Institute of Technology and Management, Bangalore, India) Kumar & Madhumathy (RV Institute of Technology and Management, Bangalore, India) P: Machine Learning and IoT for Intelligent Systems and Smart Applications

M Vinoth (RV Institute of Technology and Management, Bangalore, India) Kumar & Madhumathy (RV Institute of Technology and Management, Bangalore, India) P: Machine Learning and IoT for Intelligent Systems and Smart Applications

The fusion of AI and Io T enables the systems to be predictive, prescriptive, and autonomous, and this convergence has evolved the nature of emerging applications from being assisted to augmented, an …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 Sanjay Kumar Dhurandher & Anshul (Banaras Hindu University, India) Verma: Opportunistic Networks

Sanjay Kumar Dhurandher & Anshul (Banaras Hindu University, India) Verma: Opportunistic Networks

The opportunistic network is an emerging and recent area of research. To make this research area more adaptable for practical and industrial use, there is a need to further investigate several resear …