Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
août 2025, 297 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-00941-8
Springer International Publishing
978-3-032-00941-8
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
août 2025, 297 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-00941-8
Springer International Publishing
978-3-032-00941-8
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutEnterprise Design, Operations, and Computing
29th International Conference, EDOC 2025, Lisbon, Portugal, September 9–12, 2025, Revised Selected Papers
Springer International Publishing, 2026
978-3-032-15139-1
env. 92.00 CHF
livrable dans env. 20-45 jours
Financial Cryptography and Data Security. FC 2025 International Workshops
CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part I
Springer International Publishing, 2025
978-3-032-00491-8
102.00 CHF
disponible de suite
Financial Cryptography and Data Security. FC 2025 International Workshops
CoDecFin, FinTeAchin, VOTING, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part II
Springer International Publishing, 2025
978-3-032-00494-9
102.00 CHF
disponible de suite
Energy Informatics
First Nordic Energy Informatics Academy Conference, EIA Nordic 2025, Stockholm, Sweden, August 20–22, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-03100-6
188.00 CHF
disponible de suite
Components Operationally: Reversibility and System Engineering
Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Springer International Publishing, 2025
978-3-031-99716-7
81.00 CHF
disponible de suite
Engineering of Complex Computer Systems
29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-00827-5
168.00 CHF
disponible de suite
Machine Learning for Networking
7th International Conference, MLN 2024, Reims, France, November 27–29, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-032-00551-9
206.00 CHF
disponible de suite
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems
7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers
Springer International Publishing, 2025
978-3-032-01398-9
81.00 CHF
disponible de suite
Music and Sound Generation in the AI Era
16th International Symposium, CMMR 2023, Tokyo, Japan, November 13–17, 2023, Revised Selected Papers
Springer International Publishing, 2025
978-3-032-02041-3
146.00 CHF
disponible de suite
Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-00346-1
188.00 CHF
disponible de suite
Cellular Automata and Discrete Complex Systems
31st IFIP WG 1.5 International Workshop, AUTOMATA 2025, Lille, France, June 30 – July 2, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-01569-3
146.00 CHF
disponible de suite
Advances in Swarm Intelligence
16th International Conference on Swarm Intelligence, ICSI 2025, Yokohama, Japan, July 11–15, 2025, Proceedings, Part II
Springer EN, 2025
978-981-9509-84-3
112.00 CHF
disponible de suite
Autres titres sur ce thème
Generative AI in Software Development
A Practical Guide for Engineering Leaders
Taylor and Francis, 2026
978-1-041-21799-2
env. 75.00 CHF
paraît en juin
The Infinity Machine
Demis Hassabis, DeepMind and the Quest for Superintelligence
Penguin Books, 2026
978-0-241-70355-7
env. 33.50 CHF
paraît en mars
Intentional Forgetting with Intelligent Systems
Developing Dynamic Capabilities for Work and Organizations
Springer International Publishing, 2026
978-3-032-17620-2
env. 69.00 CHF
paraît en mai
Digitalizing Health Care Supply Chains in Africa
Achievements, Challenges and Impact
Springer International Publishing, 2026
978-3-032-20500-1
env. 116.00 CHF
paraît en mai
Beyond the Human Touch
AI's Revolution in Healthcare
Taylor and Francis, 2026
978-1-032-94214-8
env. 65.00 CHF
paraît en juillet
The Inequality Regime of AI
Power, Allocation, and the Struggle for Justice
Taylor and Francis, 2026
978-1-041-17368-7
env. 249.00 CHF
paraît en juillet
Abundant Intelligence
How Digital Labor Will Rewrite the Rules of Business
Ingram Publishers Services, 2027
979-8-89279-327-8
env. 46.90 CHF
paraît en janvier
The Infinity Machine
Demis Hassabis, DeepMind and the Quest for Superintelligence
Penguin Books, 2026
978-0-241-70356-4
env. 51.50 CHF
paraît en mars
Artificial Intelligence in Management
Impact, Challenges and Developments
Taylor and Francis, 2026
978-1-032-88371-7
env. 189.00 CHF
paraît en avril
Agentic AI for Healthcare
Building Scalable Models for Production
Taylor and Francis, 2026
978-1-041-14787-9
env. 59.50 CHF
paraît en juin
Global Platform Governance
Regulating Big Tech beyond the Trans-Atlantic
Bloomsbury Academic, 2026
978-1-350-58011-4
env. 125.00 CHF
paraît en septembre
Artificial Intelligence and Safety
A Practical Guide for Programmers and Decision Makers
Taylor and Francis, 2026
978-1-003-86339-7
env. 205.00 CHF
livrable dans env. 10-20 jours