Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , |
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| संस्करण: | 1st ed. 2023. |
| श्रृंखला: | Lecture Notes in Computer Science,
14000 |
| विषय: | |
| ऑनलाइन पहुंच: | https://doi.org/10.1007/978-3-031-27481-7 |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| सारांश: | This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. . |
|---|---|
| भौतिक वर्णन: | 1 online resource (XVI, 659 p. 1230 illus.). 132 illus. in color. |
| आईएसबीएन: | 9783031274817 |
| आईएसएसएन: | 1611-3349 ; |
| डिजिटल ऑब्जेक्ट पहचानकर्ता: | 10.1007/978-3-031-27481-7 |