Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings (Lecture Notes in Computer Science #16040)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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
- Copyright:
- 2026
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783032009425
- Related ISBNs:
- 9783032009418
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 09/28/25
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Anne Remke
- Edited by:
- Bernhard Steffen