Details
- Autor(en) / Beteiligte
- Titel
- Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
- Auflage
- 1
- Ort / Verlag
- Cham: Springer
- Erscheinungsjahr
- 2023
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783031321566, 3031321561ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/978-3-031-32157-3Titel-ID: cdi_askewsholts_vlebooks_9783031321573
- Format
- –
- Schlagworte
- Artificial Intelligence, Computer Science, Computer simulation, Computer software, Computer software-Testing-Congresses, Computer software-Verification-Congresses, Computer Systems Organization and Communication Networks, Control, Robotics, Mechatronics, Engineering, Software engineering, Software engineering-Congresses, Software Engineering/Programming and Operating Systems