Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings /
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | englanti |
| Julkaistu: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Painos: | 1st ed. 2023. |
| Sarja: | Lecture Notes in Computer Science,
13931 |
| Aiheet: | |
| Linkit: | https://doi.org/10.1007/978-3-031-35257-7 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
| Yhteenveto: | This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods. |
|---|---|
| Ulkoasu: | 1 online resource (X, 366 p. 113 illus.). 53 illus. in color. |
| ISBN: | 9783031352577 |
| ISSN: | 1611-3349 ; |
| DOI: | 10.1007/978-3-031-35257-7 |