Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
by
Neele, Thomas. editor. (orcid)0000-0001-6117-9129
Title
:
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Author
:
Neele, Thomas. editor. (orcid)0000-0001-6117-9129
ISBN
:
9783031661495
Edition
:
1st ed. 2025.
Physical Description
:
XIV, 270 p. 114 illus., 62 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 14624
Abstract
:
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Subject Term
:
Control engineering.
Robotics.
Automation.
Software engineering.
Artificial intelligence.
Computer engineering.
Computer networks .
Control, Robotics, Automation.
Computer Engineering and Networks.
Added Author
:
Neele, Thomas.
Wijs, Anton.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 605503-1001 | ONLINE | | Springer E-Kitap Koleksiyonu |