封面图片

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected f...

Saved in:

书目详细资料
企业作者:	SpringerLink (Online service)
其他作者:	Neele, Thomas (Editor), Wijs, Anton (Editor)
格式:	电子电子书
语言:	英语
出版:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
版:	1st ed. 2025.
丛编:	Lecture Notes in Computer Science, 14624
主题:	Control engineering. Robotics. Automation. Software engineering. Artificial intelligence. Computer engineering. Computer networks . Control, Robotics, Automation. Software Engineering. Artificial Intelligence. Computer Engineering and Networks.
在线阅读:	https://doi.org/10.1007/978-3-031-66149-5
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /
出版: (2023)

Unmanned Aerial Vehicles Formation Control and Safety Guarantee
由: Lv, Maolong, et al.
出版: (2025)

Intelligent Robot Implementation and Applications /
由: Duan, Feng, et al.
出版: (2023)

Situated Self-guided Learning 4th International Workshop, IWSSL 2024, Oxford, UK, September 12–13, 2024, Proceedings /
出版: (2025)

Mobile Robot Programming Adventures in Python and C /
由: Bräunl, Thomas
出版: (2023)

Intelligent Computing Systems and Applications Select Proceedings of the International Conference, ICICSA 2022 /
出版: (2025)

Intelligent Systems and Applications Select Proceedings of ICISA 2022 /
出版: (2023)

IoT Based Control Networks and Intelligent Systems Proceedings of 4th ICICNIS 2023 /
出版: (2024)

IoT Based Control Networks and Intelligent Systems Proceedings of 3rd ICICNIS 2022 /
出版: (2023)

Nonlinear Systems and Controls
由: Adamy, Jürgen
出版: (2024)

7th EAI International Conference on Robotic Sensor Networks EAI ROSENET 2023 /
出版: (2024)

Applied Innovations in Information and Communication Technology Advanced Techniques and Modern Trends in Information and Communication Technology /
出版: (2025)

Electric Power Robots Modeling, Control, and Applications /
由: Wang, Yaonan, et al.
出版: (2025)

Fault-Tolerant Cooperative Control of Unmanned Aerial Vehicles
由: Yu, Ziquan, et al.
出版: (2024)

Driving Green Transportation System Through Artificial Intelligence and Automation Approaches, Technologies and Applications /
出版: (2025)

Model-Based Reliability Systems Engineering
由: Ren, Yi, et al.
出版: (2024)

Spintronics-Based Neuromorphic Computing
由: Bhowmik, Debanjan
出版: (2024)

Proceedings of 10th International Conference on Mechatronics and Control Engineering ICMCE 2021 /
出版: (2023)

The Fourth Industrial Revolution and Beyond Select Proceedings of IC4IR+ /
出版: (2023)

Emerging Technologies in Manufacturing
由: Sadiku, Matthew N. O., et al.
出版: (2023)

6th EAI International Conference on Robotic Sensor Networks
出版: (2023)

Confessions of an AI Brain
由: Fersman, Elena, et al.
出版: (2023)

Principle, Design and Optimization of Air Balancing Methods for the Multi-zone Ventilation Systems in Low Carbon Green Buildings
由: Zhang, Xin, et al.
出版: (2023)

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1 /
出版: (2025)

Synchronization Control of Markovian Complex Neural Networks with Time-varying Delays
由: Wang, Junyi, et al.
出版: (2024)

Proceedings of Congress on Control, Robotics, and Mechatronics CRM 2023 /
出版: (2024)

Integration of Unmanned Aerial Vehicles in Wireless Communication and Networks UAVs and 5G /
出版: (2023)

Dual-Mass Linear Vibration Silicon-Based MEMS Gyroscope
由: Cao, Huiliang
出版: (2023)

Proceedings of the 10th Chinese Society of Aeronautics and Astronautics Youth Forum
出版: (2023)

Distributed Attitude Consensus of Multiple Flexible Spacecraft
由: Chen, Ti, et al.
出版: (2023)

Proceedings of the 6th China Aeronautical Science and Technology Conference Volume I.
出版: (2024)

Proceedings of the 6th China Aeronautical Science and Technology Conference Volume II.
出版: (2024)

Reliability Engineering of BeiDou Navigation Satellite
由: Yang, Hui, et al.
出版: (2024)

Proceedings of the 6th China Aeronautical Science and Technology Conference Volume III.
出版: (2024)

Advancements in Embedded System Design and Robotic Applications Select Proceedings of SPIN 2025, Volume 4 /
出版: (2025)

Smart Sensors Measurement and Instrumentation Select Proceedings of CISCON 2021 /
出版: (2023)

Recent Advances in Mechanical Engineering Select Proceedings of STAAAR 2022 /
出版: (2023)

Smart Electromechanical Systems Mathematical and Software Engineering /
出版: (2024)

Dynamics of Mobile Systems with Controlled Configuration
由: Chernousko, Felix, et al.
出版: (2024)

Proceedings of the 6th Asia Pacific Conference on Manufacturing Systems and 4th International Manufacturing Engineering Conference APCOMS-IMEC 2022, Surakarta, Indonesia /
出版: (2023)