Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Lecture Notes in Computer Science
Remke, Anne (EDT)
Steffen, Bernhard (EDT)
- 出版社：Springer
- 出版年月：2025年 09月
- ISBN：9783032009418
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：291 p.