Нүүр зураг

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /

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 or...

Бүрэн тодорхойлолт

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч:	SpringerLink (Online service)
Бусад зохиолчид:	Caltais, Georgiana (Засварлагч), Schilling, Christian (Засварлагч)
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Хэвлэл:	1st ed. 2023.
Цуврал:	Lecture Notes in Computer Science, 13872
Нөхцлүүд:	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-32157-3
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /
Хэвлэсэн: (2025)

Unmanned Aerial Vehicles Formation Control and Safety Guarantee
-н: Lv, Maolong, зэрэг
Хэвлэсэн: (2025)

Intelligent Robot Implementation and Applications /
-н: Duan, Feng, зэрэг
Хэвлэсэн: (2023)

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)

Situated Self-guided Learning 4th International Workshop, IWSSL 2024, Oxford, UK, September 12–13, 2024, Proceedings /
Хэвлэсэн: (2025)

IoT Based Control Networks and Intelligent Systems Proceedings of 4th ICICNIS 2023 /
Хэвлэсэн: (2024)

Intelligent Systems and Applications Select Proceedings of ICISA 2022 /
Хэвлэсэн: (2023)

IoT Based Control Networks and Intelligent Systems Proceedings of 3rd ICICNIS 2022 /
Хэвлэсэн: (2023)

7th EAI International Conference on Robotic Sensor Networks EAI ROSENET 2023 /
Хэвлэсэн: (2024)

Nonlinear Systems and Controls
-н: Adamy, Jürgen
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2025)

Fault-Tolerant Cooperative Control of Unmanned Aerial Vehicles
-н: Yu, Ziquan, зэрэг
Хэвлэсэн: (2024)

Driving Green Transportation System Through Artificial Intelligence and Automation Approaches, Technologies and Applications /
Хэвлэсэн: (2025)

Model-Based Reliability Systems Engineering
-н: Ren, Yi, зэрэг
Хэвлэсэн: (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)

Proceedings of Congress on Control, Robotics, and Mechatronics CRM 2023 /
Хэвлэсэн: (2024)

Emerging Technologies in Manufacturing
-н: Sadiku, Matthew N. O., зэрэг
Хэвлэсэн: (2023)

6th EAI International Conference on Robotic Sensor Networks
Хэвлэсэн: (2023)

Confessions of an AI Brain
-н: Fersman, Elena, зэрэг
Хэвлэсэн: (2023)

Principle, Design and Optimization of Air Balancing Methods for the Multi-zone Ventilation Systems in Low Carbon Green Buildings
-н: Zhang, Xin, зэрэг
Хэвлэсэн: (2023)

Synchronization Control of Markovian Complex Neural Networks with Time-varying Delays
-н: Wang, Junyi, зэрэг
Хэвлэсэн: (2024)

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1 /
Хэвлэсэн: (2025)

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, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2024)

Proceedings of the 6th Asia Pacific Conference on Manufacturing Systems and 4th International Manufacturing Engineering Conference APCOMS-IMEC 2022, Surakarta, Indonesia /
Хэвлэсэн: (2023)